Format:
Online-Ressource
ISBN:
9783540390343
Series Statement:
Lecture Notes in Computer Science 129
Additional Edition:
ISBN 9783540112051
Additional Edition:
Buchausg. u.d.T. Hailpern, Brent T. Verifying concurrent processes using temporal logic Berlin : Springer, 1982 ISBN 3540112057
Additional Edition:
ISBN 0387112057
Language:
English
Subjects:
Computer Science
Keywords:
Parallelverarbeitung
;
Programmverifikation
;
Programmierung
;
Verifikation
DOI:
10.1007/3-540-11205-7