Publications

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