High-level methods for OBDD-based sequential verification
Stangier, Christian
- Link zu diesem Datensatz
- https://d-nb.info/971737991
- Titel
- High-level methods for OBDD-based sequential verification
- Art des Inhalts
- Monographie
- Verfassangaben
- von Christian Stangier
- Autor
- Stangier, Christian
- Zeitliche Einordnung
- Erscheinungsdatum: 2004
- Umfang/Format
- Online-Ressource
- Online
- https://nbn-resolving.org/urn:nbn:de:hbz:385-2263
- Sprache
- eng
- Schlagwörter
- Anmerkungen
- Trier, Univ., Diss., 2002
- Stand
- 12.12.2025 08:19
- Im Katalog seit
- 06.03.2026