%0 Conference Paper %1 conf/sac/GiroD09 %A Giro, Sergio %A D'Argenio, Pedro R. %B SAC %D 2009 %E Shin, Sung Y. %E Ossowski, Sascha %I ACM %K dblp %P 582-586 %T On the verification of probabilistic I/O automata with unspecified rates. %U http://dblp.uni-trier.de/db/conf/sac/sac2009.html#GiroD09 %@ 978-1-60558-166-8

@inproceedings{conf/sac/GiroD09, added-at = {2018-11-06T00:00:00.000+0100}, author = {Giro, Sergio and D'Argenio, Pedro R.}, biburl = {https://www.bibsonomy.org/bibtex/21b2bf8d6a60a71091698cdca080a34e8/dblp}, booktitle = {SAC}, crossref = {conf/sac/2009}, editor = {Shin, Sung Y. and Ossowski, Sascha}, ee = {https://doi.org/10.1145/1529282.1529406}, interhash = {deb0b67616d894a78ccc3ac7735e9cd0}, intrahash = {1b2bf8d6a60a71091698cdca080a34e8}, isbn = {978-1-60558-166-8}, keywords = {dblp}, pages = {582-586}, publisher = {ACM}, timestamp = {2018-11-07T13:11:25.000+0100}, title = {On the verification of probabilistic I/O automata with unspecified rates.}, url = {http://dblp.uni-trier.de/db/conf/sac/sac2009.html#GiroD09}, year = 2009 }