@article{lmcs:1092, title = {Stochastic Timed Automata}, author = {Nathalie Bertrand and Patricia Bouyer and Thomas Brihaye and Quentin Menet and Christel Baier and Marcus Groesser and Marcin Jurdzinski}, url = {https://lmcs.episciences.org/1092}, doi = {10.2168/LMCS-10(4:6)2014}, journal = {Logical Methods in Computer Science}, issn = {1860-5974}, volume = {Volume 10, Issue 4}, eid = 6, year = {2014}, month = {Dec}, keywords = {Computer Science - Logic in Computer Science}, }