Abstraction refinement for pushdown systems
Kiefer, Stefan 2005 Universitätsbibliothek der Universität Stuttgart
- Link zu diesem Datensatz
-
https://d-nb.info/1046833111
- Titel
-
Abstraction refinement for pushdown systems
- Art des Inhalts
- Monographie
- Verfassangaben
- Stefan Kiefer
- Autor
-
Kiefer, Stefan
- Verlag
- Stuttgart : Universitätsbibliothek der Universität Stuttgart [2005]
- Jahr
- Erscheinungsdatum: 2005
- Umfang/Format
- Online-Ressource
- Online
- https://nbn-resolving.org/urn:nbn:de:bsz:93-opus-23914
- Sprache
- eng
- Schlagwörter
-
- Anmerkungen
-
Stuttgart, Universität Stuttgart, Diplomarbeit
- Stand
- 01.07.2025 10:13
- Im Katalog seit
- 06.03.2026
Beschreibung vom Verlag
