University of Oxford Logo University of OxfordDepartment of Computer Science - Home
Linked in
Linked in
Follow us on twitter
Twitter
On Facebook
Facebook
Instagram
Instagram

Joel Ouaknine : Publications

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)