Jan Otop
associate professor
Department of Science and technology
Institute of Science and Technology Austria
Austria
Biography
"Associate professor in the Department of Science and Technology at Institute of Science and Technology Austria "
Research Interest
Science and technology
Publications
-
Henzinger, Thomas A, Otop, Jan (2013). From model checking to model measuring. In CONCUR: International Conference on Concurrency Theory: Vol. 8052. CONCUR: Concurrency Theory, (273-287).Schloss Dagstuhl - Leibniz-Zentrum für Informatik.
