Publication [BuddeDHHJT17] JANI: Quantitative Model and Tool Interaction Budde, C. E.; Dehnert, C.; Hahn, E. M.; Hartmanns, A.; Junges, S. and Turrini, A. In TACAS, pages 151-168, LNCS 10206, 2017.Downloads: bib
