Model checking pushdown systems
Schwoon, Stefan
- Link zu diesem Datensatz
- https://d-nb.info/966613805
- Titel
- Model checking pushdown systems
- Art des Inhalts
- Monographie
- Verfassangaben
- Stefan Schwoon
- Autor
- Schwoon, Stefan
- Zeitliche Einordnung
- Erscheinungsdatum: 2002
- Umfang/Format
- IV, 202 S.
- Online
- https://d-nb.info/966613805/04
- Sprache
- eng
- Sachgruppe(n)
- Schlagwörter
- Anmerkungen
- München, Techn. Univ., Diss., 2002 (Nicht für den Austausch)
- Stand
- 17.05.2024 06:30
- Im Katalog seit
- 06.03.2026