Umfang:
X, 214 S.
,
graph. Darst.
ISBN:
3540439137
Serie:
Lecture notes in computer science 2399
Sprache:
Englisch
Fachgebiete:
Informatik
Schlagwort(e):
Stochastisches System
;
Prozessalgebra
;
Verifikation
;
Leistungsbewertung
;
Verifikation
;
Model Checking
;
Prozessalgebra
;
Stochastischer Prozess
;
Konferenzschrift
;
Konferenzschrift
Mehr zum Autor:
Hermanns, Holger 1967-