Research data accompanying the bachelor's thesis "Symbolic Representation of Memoryless-Deterministic Schedulers"
Dataset: Code
Persons and affiliations
- Judith Fenske - (Creator)
- Sascha Klüppelholz - , Chair of Algebraic and Logical Foundations of Computer Science (Contributor)
- Max Korn - , Chair of Algebraic and Logical Foundations of Computer Science, Chair of Foundations of Programming (Contributor)