Hochschulschrift
Speichereffiziente Modellprüfung mit zyklischen binären Entscheidungsdiagrammen
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783897226180
3897226189
- Dimensions
-
21 cm
- Extent
-
195 S.
- Language
-
Deutsch
- Notes
-
graph. Darst.
Zugl.: Karlsruhe, Univ., Diss., 2000
- Keyword
-
Speicher
Model Checking
Binäres Entscheidungsdiagramm
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.03.2025, 12:05 PM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Hochschulschrift
Associated
- Reffel, Frank
- Logos-Verl.
Time of origin
- 2001
Other Objects (12)
Konzept zur Modellierung fehlertoleranter zyklischer Prozesse mit SDL
Zetafunktionen über Gruppenringen und p-Klassengruppen zyklischer Erweiterungen vom Grad p
Spindynamik von zyklischen Spinclusterverbindungen
Modellierung und Simulation zyklisch betriebener Festbettprozesse am Beispiel der hybriden Distickstoffoxid-Zersetzung unter Strömungsumkehr
Darstellung und spektroskopische Untersuchungen von azyklischen und zyklischen Phosphoranen sowie zyklischen Sulfuranen
Ein monetäres Modell zyklischen Wachstums
Hierarchische Produktionsplanung mit zyklischen Auflagemustern
Elektronenspinresonanz an zyklischen Spincluster-Verbindungen
Motorische Schnelligkeit bei zyklischen Bewegungsabläufen
Über Automorphismengruppen von zyklischen Codes
Über Automorphismengruppen von zyklischen Codes
Untersuchungen zum zyklischen Verformungsverhalten von Stahl
Konzept zur Modellierung fehlertoleranter zyklischer Prozesse mit SDL
Zetafunktionen über Gruppenringen und p-Klassengruppen zyklischer Erweiterungen vom Grad p
Spindynamik von zyklischen Spinclusterverbindungen
Modellierung und Simulation zyklisch betriebener Festbettprozesse am Beispiel der hybriden Distickstoffoxid-Zersetzung unter Strömungsumkehr
Darstellung und spektroskopische Untersuchungen von azyklischen und zyklischen Phosphoranen sowie zyklischen Sulfuranen
Ein monetäres Modell zyklischen Wachstums
Hierarchische Produktionsplanung mit zyklischen Auflagemustern
Elektronenspinresonanz an zyklischen Spincluster-Verbindungen
Motorische Schnelligkeit bei zyklischen Bewegungsabläufen
Über Automorphismengruppen von zyklischen Codes
Über Automorphismengruppen von zyklischen Codes
Untersuchungen zum zyklischen Verformungsverhalten von Stahl
Konzept zur Modellierung fehlertoleranter zyklischer Prozesse mit SDL
Zetafunktionen über Gruppenringen und p-Klassengruppen zyklischer Erweiterungen vom Grad p
Spindynamik von zyklischen Spinclusterverbindungen
Modellierung und Simulation zyklisch betriebener Festbettprozesse am Beispiel der hybriden Distickstoffoxid-Zersetzung unter Strömungsumkehr
Darstellung und spektroskopische Untersuchungen von azyklischen und zyklischen Phosphoranen sowie zyklischen Sulfuranen
Ein monetäres Modell zyklischen Wachstums
Hierarchische Produktionsplanung mit zyklischen Auflagemustern
Elektronenspinresonanz an zyklischen Spincluster-Verbindungen
Motorische Schnelligkeit bei zyklischen Bewegungsabläufen
Über Automorphismengruppen von zyklischen Codes
Über Automorphismengruppen von zyklischen Codes