bibtex

@inproceedings{'TBC+5',
    title = { Automated Conflict-Free Concurrent Implementation of Timed Component-Based Models },
    author = {Triki, Ahlem and Bonakdarpour, Borzoo and Combaz, Jacques and Bensalem, Saddek},
    year = {2015},
    booktitle = {{NASA} Formal Methods - 7th International Symposium, {NFM} 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings},
    crossref = {DBLP:conf/nfm/2015},
    pages = {359--374},
    team = {DCS, RSD},
}

URL


Contact | Site Map | Site powered by SPIP 4.2.8 + AHUNTSIC [CC License]

info visites 3900263