Easy instances for model checking
Frick, Markus
- Link zu diesem Datensatz
- https://d-nb.info/962890138
- Titel
- Easy instances for model checking
- Art des Inhalts
- Monographie
- Verfassangaben
- Markus Frick
- Autor
- Frick, Markus
- Zeitliche Einordnung
- Erscheinungsdatum: 2001
- Umfang/Format
- 120 S.
- Online
- https://d-nb.info/962890138/04
- Sprache
- eng
- Sachgruppe(n)
- Schlagwörter
- Anmerkungen
- Freiburg (Breisgau), Univ., Diss., 2001 (Nicht für den Austausch)
- Stand
- 17.06.2024 08:20
- Im Katalog seit
- 06.03.2026