Almost Universality for Unambiguous Büchi Automata
Activity: Talk or presentation at external institutions/events › Talk/Presentation › Contributed
Persons and affiliations
- David Müller - , Chair of Algebraic and Logical Foundations of Computer Science (Speaker)
Date
6 Dec 2015 → 9 Dec 2015
Description
Speaker: Dipl.-Inf. David MüllerEvent: GI-Dagstuhl Seminar 15504 "Formal Evaluation of Critical Infrastructures"
Inviting institution: Rocks
Location: Schloss Dagstuhl, Wadern
Country: Deutschland
Duration of event: 06.12.2015-09.12.2015
Seminar
| Title | GI-Dagstuhl Seminar 15504 "Formal Evaluation of Critical Infrastructures" |
|---|---|
| Conference number | |
| Duration | 6 - 9 December 2015 |
| Degree of recognition | International event |
| Location | Schloss Dagstuhl |
| City | Wadern |
| Country | Germany |