JANI: Quantitative Model and Tool Interaction.

Carlos E. Budde, Christian Dehnert, Ernst Moritz Hahn, Arnd Hartmanns, Sebastian Junges, Andrea Turrini

Browse the full TACAS paper archive.