A new model checking algorithm for time nets
Pogrell, Lutz 1996 Professoren des Inst. für Informatik
- Link zu diesem Datensatz
-
https://d-nb.info/947607706
- Titel
-
A new model checking algorithm for time nets
- Art des Inhalts
- Monographie
- Verfassangaben
- Lutz Pogrell. Humboldt-Universität zu Berlin. [Hrsg.: Professoren des Institutes für Informatik. Red.: Publikationsstelle]
- Autor
-
Pogrell, Lutz
- Verlag
- Berlin : Professoren des Inst. für Informatik [1996]
- Jahr
- Erscheinungsdatum: 1996
- Umfang/Format
- 25 S.
- Sprache
- eng
- Sachgruppe(n)
-
- Stand
- 02.12.2017 23:40
- Im Katalog seit
- 06.03.2026
Beschreibung vom Verlag
