Title |
Explicit state space verification / von Karsten Schmidt |
|---|---|
Involved |
Karsten Wolf (Mitwirkender) |
Published |
2002 |
Extent |
14, 199 S. : graph. Darst. |
Thesis |
Berlin, Humboldt-Univ., Habil.-Schr., 2002 (Nicht für den Austausch) |
Language |
|
Topic |
|
Subject |
Diskretes System, Verifikation, Zustandsraum, Graphersetzungssystem, Temporale Logik, Model Checking |
Other editions |
Erscheint auch als Online-Ausgabe: Explicit state space verification |
Record ID |
969335849 |
Please note
The beta version does not yet contain all functions and information of the DNB portal catalogue. If you are missing information or want to order a medium, please visit the page in the DNB portal catalogue via the following link: