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}
}

Downloads

No Downloads available for this publication

Related Paths

HAEC, Orchestration Path, Resilience Path

Permalink

https://cfaed.tu-dresden.de/publications?pubId=284


Go back to publications list