%0 Journal Article %1 journals/corr/BertrandBBMBGJ14 %A Bertrand, Nathalie %A Bouyer, Patricia %A Brihaye, Thomas %A Menet, Quentin %A Baier, Christel %A Größer, Marcus %A Jurdzinski, Marcin %D 2014 %J Logical Methods in Computer Science %K %N 4 %T Stochastic Timed Automata. %U http://dblp.uni-trier.de/db/journals/lmcs/lmcs10.html#BertrandBBMBGJ14 %V 10

@article{journals/corr/BertrandBBMBGJ14, added-at = {2023-12-13T00:47:00.000+0100}, author = {Bertrand, Nathalie and Bouyer, Patricia and Brihaye, Thomas and Menet, Quentin and Baier, Christel and Größer, Marcus and Jurdzinski, Marcin}, biburl = {https://www.bibsonomy.org/bibtex/281e83da04e84ce4461bb58b1c0cf65bb/admin}, ee = {http://arxiv.org/abs/1410.2128}, interhash = {68531fcfb451535b6ef94dbc0caf0082}, intrahash = {81e83da04e84ce4461bb58b1c0cf65bb}, journal = {Logical Methods in Computer Science}, keywords = {}, number = 4, timestamp = {2023-12-13T00:47:00.000+0100}, title = {Stochastic Timed Automata.}, url = {http://dblp.uni-trier.de/db/journals/lmcs/lmcs10.html#BertrandBBMBGJ14}, volume = 10, year = 2014 }