Publications

Publications for E. Moritz Hahn

2017
Download
[bibtex]
Carlos E. Budde, Christian Dehnert, E. Moritz Hahn, Arnd Hartmanns, Sebastian Junges, Andrea Turrini. “JANI: Quantitative Model and Tool Interaction. Proc. of TACAS, Volume 10206 of LNCS, pages 151-168, Springer, 2017.
Show all