Model checking using net unfoldings
Esparza, Javier 1992 Inst. für Informatik
- Link zu diesem Datensatz
-
https://d-nb.info/930445651
- Titel
-
Model checking using net unfoldings
- Art des Inhalts
- Monographie
- Verfassangaben
- Javier Esparza. Universität Hildesheim. Dieser Bericht ist hrsg. vom Institut für Informatik
- Autor
-
Esparza, Javier
- Verlag
- Hildesheim : Inst. für Informatik [1992]
- Jahr
- Erscheinungsdatum: 1992
- Umfang/Format
- [46] S.
- Sprache
- ger
- Sachgruppe(n)
-
- Anmerkungen
-
Literaturverz. S. [44] - [46]
- Stand
- 30.11.2024 19:30
- Im Katalog seit
- 06.03.2026
Beschreibung vom Verlag
