bibtex

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

URL


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

info visites 4190886