Research data accompanying the bachelor's thesis "Symbolic Representation of Memoryless-Deterministic Schedulers"
Forschungsdaten: Software
Personen und Einrichtungen
- Judith Fenske - (Urheber:in)
- Sascha Klüppelholz - , Professur für Algebraische und logische Grundlagen der Informatik (Mitwirkende:r)
- Max Korn - , Professur für Algebraische und logische Grundlagen der Informatik, Professur für Grundlagen der Programmierung (Mitwirkende:r)