Robustness in timed automata

October 16, 2017 in by

by Patricia Bouyer, Nicolas Markey, Ocan Sankur
Reference:
Patricia Bouyer, Nicolas Markey, Ocan Sankur. Robustness in timed automata. In Proceedings of the 7th Workshop on Reachability Problems in Computational Models (RP’13), pages 1-18. Volume 8169 of Lecture Notes in Computer Science. Springer, September 2013. (Invited paper)
Bibtex Entry:
@string{sep="September"}
@inproceedings{BMS-rp13,
  address =       {Uppsala, Sweden},
  author =        {Bouyer, Patricia and Markey, Nicolas and
                   Sankur, Ocan},
  booktitle =     {{P}roceedings of the 7th {W}orkshop on {R}eachability
                   {P}roblems in {C}omputational {M}odels ({RP}'13)},
  editor =        {Abdulla, Parosh Aziz and Potapov, Igor},
  month =         sep,
  note =          {Invited paper},
  pages =         {1-18},
  publisher =     {Springer},
  series =        {Lecture Notes in Computer Science},
  title =         {Robustness in timed automata},
  volume =        {8169},
  year =          {2013},
  doi =           {10.1007/978-3-642-41036-9_1},
  url =           {http://www.cassting-project.eu/wp-content/uploads/
                  BMS-rp13.pdf},
  category =      {conf},
  wps =           {wp3},
  partners =      {CNRS},
  casstingpart =  {50},
}