- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Dimensions
-
20 cm
- Extent
-
119 S.
- Language
-
Deutsch
- Notes
-
graph. Darst.
Zugl.: Erlangen, Nürnberg, Univ., Diss., 1986
- Bibliographic citation
-
Arbeitsberichte des Instituts für Mathematische Maschinen und Datenverarbeitung (Informatik) / Institut für Mathematische Maschinen und Datenverarbeitung (Informatik) ; Bd. 19, Nr. 4
- Event
-
Veröffentlichung
- (where)
-
Erlangen
- (who)
-
Inst. für Math. Maschinen u. Datenverarbeitung (Informatik)
- (when)
-
1986
- Creator
-
Mühlfeld, Reinhard
- 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:27 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
- Mühlfeld, Reinhard
- Inst. für Math. Maschinen u. Datenverarbeitung (Informatik)
Time of origin
- 1986
Other Objects (12)
Verifikation unvollständiger Schaltkreise
Verifikation abstrakter Zustandsmaschinen
Verifikation abstrakter Zustandsmaschinen
Vollständige funktionale Verifikation
Verifikation abstrakter Zustandsmaschinen
Verifikation unvollständiger Schaltkreise
Verifikation regelbasierter Konfigurationssysteme
Automatische Verifikation stochastischer Systeme
SAT-basierte Verifikation von Graphtransformationseinheiten
Symbolische LTL-Verifikation von Petrinetzen
Entwurf und Verifikation von Ablaufsteuerungen
Verifikation von Statemate Designs : Dissertation
Verifikation unvollständiger Schaltkreise
Verifikation abstrakter Zustandsmaschinen
Verifikation abstrakter Zustandsmaschinen
Vollständige funktionale Verifikation
Verifikation abstrakter Zustandsmaschinen
Verifikation unvollständiger Schaltkreise
Verifikation regelbasierter Konfigurationssysteme
Automatische Verifikation stochastischer Systeme
SAT-basierte Verifikation von Graphtransformationseinheiten
Symbolische LTL-Verifikation von Petrinetzen
Entwurf und Verifikation von Ablaufsteuerungen
Verifikation von Statemate Designs : Dissertation
Verifikation unvollständiger Schaltkreise
Verifikation abstrakter Zustandsmaschinen
Verifikation abstrakter Zustandsmaschinen
Vollständige funktionale Verifikation
Verifikation abstrakter Zustandsmaschinen
Verifikation unvollständiger Schaltkreise
Verifikation regelbasierter Konfigurationssysteme
Automatische Verifikation stochastischer Systeme
SAT-basierte Verifikation von Graphtransformationseinheiten
Symbolische LTL-Verifikation von Petrinetzen
Entwurf und Verifikation von Ablaufsteuerungen