Sciweavers

IFIP
2004
Springer

Controller Synthesis for Probabilistic Systems

13 years 10 months ago
Controller Synthesis for Probabilistic Systems
Christel Baier, Marcus Größer, Martin L
Added 02 Jul 2010
Updated 02 Jul 2010
Type Conference
Year 2004
Where IFIP
Authors Christel Baier, Marcus Größer, Martin Leucker, Benedikt Bollig, Frank Ciesinski
Comments (0)