Treffer: Automatic verification of sequential infinite state processes

Titel:

Verantwortlich:

Burkart, Olaf

Veröffentlicht:

Berlin [u.a.] : Springer, 1997

Umfang:

X, 163 S. : graph. Darst.

Publikationstyp:

Buch

Sprache:

Englisch

Schriftenreihe/Mehrbändiges Werk:

Lecture notes in computer science ; 1354
alle Bände anzeigen

Hochschulschrift:

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

RVK-Notation:

Schlagworte:

ISBN:

3540639829

Zusatz-Informationen