Export 1 results:Author Title Type [ Year]
Filters: First Letter Of Title is Q and Author is H. Hermanns [Clear All Filters]
The Quest for Minimal Quotients for Probabilistic Automata. 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Rome, Italy. 7795:16–31.. 2013.