Treffer: Verification of reactive systems

Titel:

Verification of reactive systems : formal methods and algorithms / Klaus Schneider

Beteiligt:

Schneider, Klaus

Veröffentlicht:

Berlin [u.a.] : Springer, 2004

Umfang:

XIV, 600 S. : graph. Darst. ; 24 cm

Publikationstyp:

Buch

Sprache:

Englisch

Schriftenreihe/Mehrbändiges Werk:

Texts in theoretical computer science

Anmerkungen:

Literaturverz. S. [561] - 589

RVK-Notation:

Schlagworte:

ISBN:

3540002960

Zusatz-Informationen