Export 1 results:
Author Title Type [ Year(Asc)]
Filters: First Letter Of Title is Q and Author is C. W. Eisentraut  [Clear All Filters]
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.