Stochastic Timed Automata

December 12, 2017 in by

by Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Quentin Menet, Christel Baier, Marcus Größer, Marcin Jurdziński
Reference:
Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Quentin Menet, Christel Baier, Marcus Größer, Marcin Jurdziński. Stochastic Timed Automata. In Logical Methods in Computer Science 10(4:6). December 2014.
Bibtex Entry:
@string{dec="December"}
@article{BBBMBGJ-lmcs14,
  author =        {Bertrand, Nathalie and Bouyer, Patricia and
                   Brihaye, Thomas and Menet, Quentin and
                   Baier, Christel and Gr{"o}{ss}er, Marcus and
                   Jurdzi{'n}ski, Marcin},
  journal =       {Logical Methods in Computer Science},
  month =         dec,
  number =        {4:6},
  title =         {Stochastic Timed Automata},
  volume =        {10},
  year =          {2014},
  doi =           {10.2168/LMCS-10(4:6)2014},
  url =           {http://www.cassting-project.eu/wp-content/uploads/
                  BBBMBGJ-mfcs14.pdf},
  category =      {jour},
  wps =           {wp1},
  partners =      {UMONS and CNRS},
  casstingpart =  {50},
}