Holger Hermanns
Quantitative Models for a Not So Dumb Grid
TACAS, 2012.
@inproceedings{TACAS-2012-Hermanns, author = "Holger Hermanns", booktitle = "{Proceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems}", doi = "10.1007/978-3-642-28756-5_1", isbn = "978-3-642-28755-8", pages = "1", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Quantitative Models for a Not So Dumb Grid}", volume = 7214, year = 2012, }