Taolue Chen, Vojtech Forejt, Marta Z. Kwiatkowska, David Parker, Aistis Simaitis. Automatic Verification of Competitive Stochastic Systems. In Cormac Flanagan, Barbara König, editors, Tools and Algorithms for the Construction and Analysis of Systems - 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings. Volume 7214 of Lecture Notes in Computer Science, pages 315-330, Springer, 2012. [doi]
@inproceedings{ChenFKPS12,
title = {Automatic Verification of Competitive Stochastic Systems},
author = {Taolue Chen and Vojtech Forejt and Marta Z. Kwiatkowska and David Parker and Aistis Simaitis},
year = {2012},
doi = {10.1007/978-3-642-28756-5_22},
url = {http://dx.doi.org/10.1007/978-3-642-28756-5_22},
researchr = {https://researchr.org/publication/ChenFKPS12},
cites = {0},
citedby = {0},
pages = {315-330},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems - 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings},
editor = {Cormac Flanagan and Barbara König},
volume = {7214},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-28755-8},
}