Nathalie Bertrand, Paulin Fournier. Parameterized Verification of Many Identical Probabilistic Timed Processes. In Anil Seth, Nisheeth K. Vishnoi, editors, IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2013, December 12-14, 2013, Guwahati, India. Volume 24 of LIPIcs, pages 501-513, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2013. [doi]
@inproceedings{BertrandF13,
title = {Parameterized Verification of Many Identical Probabilistic Timed Processes},
author = {Nathalie Bertrand and Paulin Fournier},
year = {2013},
doi = {10.4230/LIPIcs.FSTTCS.2013.501},
url = {http://dx.doi.org/10.4230/LIPIcs.FSTTCS.2013.501},
researchr = {https://researchr.org/publication/BertrandF13},
cites = {0},
citedby = {0},
pages = {501-513},
booktitle = {IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2013, December 12-14, 2013, Guwahati, India},
editor = {Anil Seth and Nisheeth K. Vishnoi},
volume = {24},
series = {LIPIcs},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
isbn = {978-3-939897-64-4},
}