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!

Keine Ergebnisse!