Composition of stochastic timed automata

October 15, 2017 in by

by Patricia Bouyer, Thomas Brihaye, Pierre Carlier, Quentin Menet
Reference:
Patricia Bouyer, Thomas Brihaye, Pierre Carlier, Quentin Menet. Composition of stochastic timed automata. In Proceedings of the 11th ACM International Computer Science Symposium in Russia (CSR’16). Springer, June 2016. (To appear)
Bibtex Entry:
@string{jun="June"}
@inproceedings{BBCM-csr16,
  address =       {St.~Petersburg, Russia},
  author =        {Bouyer, Patricia and Brihaye, Thomas and
                   Carlier, Pierre and Menet, Quentin},
  booktitle =     {{P}roceedings of the 11th {ACM} {I}nternational
                   {C}omputer {S}cience Symposium in {R}ussia
                   ({CSR}'16)},
  editor =        {Woeginger, Gerhard J.},
  month =         jun,
  note =          {To~appear},
  publisher =     {Springer},
  title =         {Composition of stochastic timed automata},
  year =          {2016},
  url =           {http://www.cassting-project.eu/wp-content/uploads/
                  BBCM-csr16.pdf},
  category =      {conf},
  wps =           {wp1 and wp2},
  partners =      {CNRS and UMONS},
  casstingpart =  {50},
}