Kein Cover

Model checking pushdown systems

Schwoon, Stefan

Titel
Model checking pushdown systems
Art des Inhalts
Monographie
Verfassangaben
Stefan Schwoon
Autor
Schwoon, Stefan
Zeitliche Einordnung
Erscheinungsdatum: 2002
Online
https://nbn-resolving.org/urn:nbn:de:bvb:91-diss2002120317052
Sprache
eng
Sachgruppe(n)
Schlagwörter
Anmerkungen
München, Techn. Univ., Diss., 2002
Stand
13.12.2025 13:24
Im Katalog seit
06.03.2026

Beschreibung vom Verlag

← Zurück zur Startseite