Language Preservation Problems in Parametric Timed Automata

December 16, 2017 in by

by Étienne André, Nicolas Markey
Reference:
Étienne André, Nicolas Markey. Language Preservation Problems in Parametric Timed Automata. In Proceedings of the 13th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS’15), pages 27-43. Volume 9268 of Lecture Notes in Computer Science. Springer, September 2015.
Bibtex Entry:
@string{sep="September"}
@inproceedings{AM-formats15,
  address =       {Madrid, Spain},
  author =        {Andr{'e}, {'E}tienne and Markey, Nicolas},
  booktitle =     {{P}roceedings of the 13th {I}nternational
                   {C}onference on {F}ormal {M}odelling and {A}nalysis
                   of {T}imed {S}ystems ({FORMATS}'15)},
  editor =        {Sankaranarayanan, Sriram and Vicario, Enrico},
  month =         sep,
  pages =         {27-43},
  publisher =     {Springer},
  series =        {Lecture Notes in Computer Science},
  title =         {Language Preservation Problems in Parametric Timed
                   Automata},
  volume =        {9268},
  year =          {2015},
  doi =           {10.1007/978-3-319-22975-1_3},
  url =           {http://www.cassting-project.eu/wp-content/uploads/
                  AM-formats15.pdf},
  category =      {conf},
  wps =           {wp3},
  partners =      {CNRS},
  casstingpart =  {100},
}