By dateBy titleBy typeBibtex
[1]
Language Equivalence for Probabilistic Automata
Stefan Kiefer‚ Andrzej S. Murawski‚ Joel Ouaknine‚ Björn Wachter and James Worrell
2011.
to appear in CAV 2011
Details | BibTeX | Link (pdf)
