@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},
}
