JANI: Quantitative Model and Tool Interaction

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

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

58 Citations (Scopus)
24 Downloads (Pure)

Fingerprint

Dive into the research topics of 'JANI: Quantitative Model and Tool Interaction'. Together they form a unique fingerprint.

Computer Science