Format:
142 S.
,
graph. Darst.
ISBN:
3540607617
Series Statement:
Lecture notes in computer science 1032
Note:
Literaturverz. S. [133] - 142
Additional Edition:
Online-Ausg. Godefroid, Patrice Partial-order methods for the verification of concurrent systems Berlin [u.a.] : Springer, 1996 ISBN 9783540494447
Additional Edition:
Erscheint auch als Online-Ausgabe Godefroid, Patrice Partial-Order Methods for the Verification of Concurrent Systems Berlin, Heidelberg : Springer Berlin Heidelberg, 1996 ISBN 9783540494447
Language:
English
Subjects:
Computer Science
,
Economics
Keywords:
Nebenläufigkeit
;
Verifikation
;
Zustandsraum
;
Halbordnung
URL:
http://www.loc.gov/catdir/enhancements/fy0815/95051354-d.html
