Publications

Export 1 results:
Author Title [ Type(Desc)] Year
Filters: First Letter Of Title is Q and Author is A. Turini  [Clear All Filters]
Conference Paper
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.