Interactive Visualization Meets Probabilistic Model Checking Artifact
Forschungsdaten: Software
Personen und Einrichtungen
- Max Korn - , Professur für Algebraische und logische Grundlagen der Informatik (Urheber:in)
- Julián Méndez - , Professur für Multimedia-Technologie (MT) (Urheber:in)
- Sascha Klüppelholz - , Professur für Algebraische und logische Grundlagen der Informatik (Urheber:in)
- Ricardo Langner - , Professur für Multimedia-Technologie (MT) (Urheber:in)
- Christel Baier - , Professur für Algebraische und logische Grundlagen der Informatik (Urheber:in)
- Raimund Dachselt - , Professur für Multimedia-Technologie (MT) (Urheber:in)