Model checking based on Kronecker algebra
Kemper, Peter ; Lübeck, Ralf 1998 Dekanat Informatik, Univ.
- Link zu diesem Datensatz
-
https://d-nb.info/954670701
- Titel
-
Model checking based on Kronecker algebra
- Art des Inhalts
- Monographie
- Verfassangaben
- Peter Kemper ; Ralf Lübeck. [Universität Dortmund, Fachbereich Informatik]
- Autor(en)
-
- Kemper, Peter
- Lübeck, Ralf
- Verlag
- Dortmund : Dekanat Informatik, Univ. [[1998]]
- Jahr
- Erscheinungsdatum: 1998
- Umfang/Format
- 23 S.
- Sprache
- eng
- Sachgruppe(n)
-
- Anmerkungen
-
Literaturverz. S. 20 - 23
- Stand
- 03.12.2017 05:29
- Im Katalog seit
- 06.03.2026
Beschreibung vom Verlag
