Model checking for L2
Seidl, Helmut 1997 Univ., Mathematik/Informatik
- Link zu diesem Datensatz
-
https://d-nb.info/953086216
- Titel
-
Model checking for L2
- Art des Inhalts
- Monographie
- Verfassangaben
- Helmut Seidl. Universität Trier, Mathematik/Informatik
- Autor
-
Seidl, Helmut
- Verlag
- Trier : Univ., Mathematik/Informatik [1997]
- Jahr
- Erscheinungsdatum: 1997
- Umfang/Format
- 14 Bl.
- Sprache
- eng
- Sachgruppe(n)
-
- Stand
- 03.12.2017 04:17
- Im Katalog seit
- 06.03.2026
Beschreibung vom Verlag
