@Inproceedings{EPTCS140.1, author = {Schuster, Johann and Siegle, Markus}, year = {2014}, title = {Lattice structures for bisimilar Probabilistic Automata}, editor = {Holik, Lukas and Clemente, Lorenzo}, booktitle = {{\rm Proceedings 15th International Workshop on} Verification of Infinite-State Systems, {\rm Hanoi, Vietnam, 14th October 2013}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {140}, publisher = {Open Publishing Association}, pages = {1-15}, doi = {10.4204/EPTCS.140.1}, }