Sergio Giro, Pedro R. D'Argenio
On the verification of probabilistic I/O automata with unspecified rates
SAC, 2009.
@inproceedings{SAC-2009-GiroD, author = "Sergio Giro and Pedro R. D'Argenio", booktitle = "{Proceedings of the 24th Symposium on Applied Computing}", doi = "10.1145/1529282.1529406", editor = "Sung Y. Shin and Sascha Ossowski", isbn = "978-1-60558-166-8", pages = "582--586", publisher = "{ACM}", title = "{On the verification of probabilistic I/O automata with unspecified rates}", year = 2009, }