@inproceedings{Ben14,
title = { Compositional Verification of Timed Systems },
author = {Bensalem, Saddek},
year = {2014},
booktitle = {Proceedings of the 8th International Workshop on Verification and Evaluation of Computer and Communication Systems, VECoS 2014, Beja{"{i}}a, Algeria, September 29-30, 2014.},
crossref = {DBLP:conf/vecos/2014},
pages = {5--11},
team = {DCS, RSD},
timestamp = {Mon, 30 May 2016 16:28:37 +0200},
biburl = {http://dblp.uni-trier.de/rec/bib/conf/vecos/Bensalem14},
bibsource = {dblp computer science bibliography, http://dblp.org},
}