Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Jonas van Vliet, Zheng Wang. Statistical Model Checking for Networks of Priced Timed Automata. In Uli Fahrenberg, Stavros Tripakis, editors, Formal Modeling and Analysis of Timed Systems - 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011. Proceedings. Volume 6919 of Lecture Notes in Computer Science, pages 80-96, Springer, 2011. [doi]
@inproceedings{DavidLLMPVW11,
title = {Statistical Model Checking for Networks of Priced Timed Automata},
author = {Alexandre David and Kim G. Larsen and Axel Legay and Marius Mikucionis and Danny Bøgsted Poulsen and Jonas van Vliet and Zheng Wang},
year = {2011},
doi = {10.1007/978-3-642-24310-3_7},
url = {http://dx.doi.org/10.1007/978-3-642-24310-3_7},
researchr = {https://researchr.org/publication/DavidLLMPVW11},
cites = {0},
citedby = {0},
pages = {80-96},
booktitle = {Formal Modeling and Analysis of Timed Systems - 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011. Proceedings},
editor = {Uli Fahrenberg and Stavros Tripakis},
volume = {6919},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-24309-7},
}