Tooling, Data and Results for "Components in Probabilistic Systems: Suitable by Construction"
Dataset: Series
Persons and affiliations
- Christel Baier - , Chair of Algebraic and Logical Foundations of Computer Science (Creator)
- Clemens Dubslaff - , Chair of Algebraic and Logical Foundations of Computer Science (Creator)
- Holger Hermanns - , Saarland University (Creator)
- Michaela Klauck - , Saarland University (Creator)
- Sascha Klüppelholz - , Chair of Algebraic and Logical Foundations of Computer Science (Creator)
- Maximilian A. Köhl - , Saarland University (Creator)