Interactive Visualization Meets Probabilistic Model Checking Artifact
Dataset: Code
Persons and affiliations
- Max Korn - , Chair of Algebraic and Logical Foundations of Computer Science (Creator)
- Julián Méndez - , Chair of Multimedia Technology (Creator)
- Sascha Klüppelholz - , Chair of Algebraic and Logical Foundations of Computer Science (Creator)
- Ricardo Langner - , Chair of Multimedia Technology (Creator)
- Christel Baier - , Chair of Algebraic and Logical Foundations of Computer Science (Creator)
- Raimund Dachselt - , Chair of Multimedia Technology (Creator)