UID:
kobvindex_ZLB13364278
Format:
X, 214 Seiten
,
graph. Darst.
,
24 cm
ISBN:
3540439137
Series Statement:
Lecture notes in computer science 2063
Note:
Literaturangaben
,
Text engl.
Language:
English
Keywords:
Computerspiel
;
Spieltheorie
;
Spielstrategie
;
Komplexitätstheorie
;
Kongress
;
Verifikation
;
Model Checking
;
Prozessalgebra
;
Stochastischer Prozess
;
Kongress
;
Kopenhagen 〈2002〉
;
Stochastisches System
;
Prozessalgebra
;
Verifikation
;
Leistungsbewertung
;
Kongress
;
Kopenhagen 〈2002〉
;
Kongress
;
Konferenzschrift
Author information:
Hermanns, Holger