cfaed Publications
Stochastic game logic
Reference
Christel Baier, Tomáš Brázdil, Marcus Größer, Antonín Kučera, "Stochastic game logic" , In Acta Informatica, vol. 49, no. 4, pp. 203-224, Jun 2012.
Bibtex
@Article{ auto-key*fe,
author = {Christel Baier and Tomáš Brázdil and Marcus Größer and Antonín Kučera},
title = {Stochastic game logic},
journal = {Acta Informatica},
volume = {49},
number = {4},
pages = {203-224},
month = jun,
year = {2012},
project = {B03}
}
author = {Christel Baier and Tomáš Brázdil and Marcus Größer and Antonín Kučera},
title = {Stochastic game logic},
journal = {Acta Informatica},
volume = {49},
number = {4},
pages = {203-224},
month = jun,
year = {2012},
project = {B03}
}
Downloads
No Downloads available for this publication
Related Paths
HAEC, Orchestration Path, Resilience Path
Permalink
https://cfaed.tu-dresden.de/publications?pubId=1134