Details for the publication ZhangH07.

Lijun Zhang, Holger Hermanns (): Deciding Simulations on Probabilistic Automata. In Automated Technology for Verification and Analysis, 5th International Symposium, ATVA 2007, Tokyo, Japan, October 22-25, 2007, Proceedings, volume 4762 of Lecture Notes in Computer Science, pages 207-222, 2007. DOI BIB