Kaiserslautern - Fachbereich Informatik
Filtern
Erscheinungsjahr
- 2010 (1)
Dokumenttyp
- Dissertation (1) (entfernen)
Sprache
- Deutsch (1) (entfernen)
Volltext vorhanden
- ja (1)
Schlagworte
- Controller Synthesis (1)
- Symbolic Methods (1)
- Temporal Logic (1)