Publications

Export 1 results:
Author Title Type [ Year(Asc)]
Filters: First Letter Of Title is Q and Author is C. W. Eisentraut  [Clear All Filters]
2013
Eisentraut C.W, Hermanns H., Schuster J., Turini A., Zhang L..  2013.  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.