Format:
142 S. :
,
graph. Darst.
ISBN:
3-540-60761-7
Series Statement:
Lecture notes in computer science 1032
Note:
Zugl.: Liège, Univ., Diss., 1994
Language:
English
Subjects:
Computer Science
Keywords:
Nebenläufigkeit
;
Programmverifikation
;
Nebenläufigkeit
;
Verifikation
;
Zustandsraum
;
Halbordnung
;
Hochschulschrift
;
Hochschulschrift