cfaed Publications
Stochastic Timed Automata
Reference
Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Quentin Menet, Christel Baier, Marcus Größer, Marcin Jurdzinski, "Stochastic Timed Automata" , In Logical Methods in Computer Science (LMCS), vol. 10, no. 4, pp. 1–73, 2014.
Bibtex
@article{LMCS14,
author = {Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Quentin Menet, Christel Baier, Marcus Gr\"o{\ss}er, Marcin Jurdzinski},
title = {Stochastic Timed Automata},
year = {2014},
journal = {Logical Methods in Computer Science (LMCS)},
volume = {10},
number = {4},
pages = {1--73},
ee = {http://dx.doi.org/10.2168/LMCS-10(4:6)2014}
}
author = {Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Quentin Menet, Christel Baier, Marcus Gr\"o{\ss}er, Marcin Jurdzinski},
title = {Stochastic Timed Automata},
year = {2014},
journal = {Logical Methods in Computer Science (LMCS)},
volume = {10},
number = {4},
pages = {1--73},
ee = {http://dx.doi.org/10.2168/LMCS-10(4:6)2014}
}
Downloads
No Downloads available for this publication
Related Paths
HAEC, Orchestration Path, Resilience Path
Permalink
https://cfaed.tu-dresden.de/publications?pubId=284