Umfang:
1 Online-Ressource (VI, 448 S.
,
graph. Darst.)
ISBN:
3540518037
,
0387518037
Serie:
Lecture notes in computer science 398
Anmerkung:
Literaturangaben
Sprache:
Englisch
Fachgebiete:
Informatik
Schlagwort(e):
Nebenläufigkeit
;
Softwarespezifikation
;
Temporale Logik
;
Spezifikation
;
Temporale Logik
;
Temporale Logik
;
Konferenzschrift
DOI:
10.1007/3-540-51803-7