Finite model checking and beyond
Steffen, Bernhard 1995 Univ., Fak. für Mathematik und Informatik
- Link zu diesem Datensatz
-
https://d-nb.info/94360589X
- Titel
-
Finite model checking and beyond
- Art des Inhalts
- Monographie
- Verfassangaben
- Bernhard Steffen. Universität Passau, Fakultät für Mathematik und Informatik
- Autor
-
Steffen, Bernhard
- Verlag
- Passau : Univ., Fak. für Mathematik und Informatik [1995]
- Jahr
- Erscheinungsdatum: 1995
- Umfang/Format
- 15 S.
- Online
- https://d-nb.info/94360589X/04
- Sprache
- ger
- Sachgruppe(n)
-
- Anmerkungen
-
Literaturverz. S. 12 - 15
- Stand
- 02.01.2026 19:49
- Im Katalog seit
- 06.03.2026
Beschreibung vom Verlag
