Format:
VII, 382 S.
,
graph. Darst.
ISBN:
3540521488
,
0387521488
Series Statement:
Lecture notes in computer science 407
Note:
Literaturangaben
Additional Edition:
Online-Ausg. Automatic verification methods for finite state systems Berlin [u.a.] : Springer, 1990 9783540469056
Additional Edition:
Erscheint auch als Online-Ausgabe Sifakis, Joseph Automatic Verification Methods for Finite State Systems Berlin, Heidelberg : Springer Berlin Heidelberg, 1990 9783540469056
Language:
English
Subjects:
Computer Science
Keywords:
Endlicher Automat
;
Verifikation
;
Konferenzschrift
Bookmarklink