Automatic verification of sequential infinite state processes

Automatic verification of sequential infinite state processes

Zugl.:Aachen, Techn. Hochsch., Diss., 1995

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Burkart, Olaf
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Berlin ˜u.a.œ Springer 1997
Schriftenreihe:Lecture notes in computer science 1354
Schlagworte:
Kellerautomat > Kontextfreie Grammatik > Prozessalgebra > Verifikation > Model Checking > Modallogik
Online Zugang:Kapitel 1
Cover
Inhaltsverzeichnis
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:Zugl.:Aachen, Techn. Hochsch., Diss., 1995
Beschreibung:X, 163 S.
graph. Darst.
Bibliographie:Literaturverz. S. [155] - 159
ISBN:3540639829