B
[BBL+15] Nikola Beneš, Petr Bezdek, Kim Guldstrand Larsen et Jiří Srba. Language Emptiness of Continuous-Time Parametric Timed Automata. In ICALP'15, Lecture Notes in Computer Science 9135, pages 69-81. Springer-Verlag, juillet 2015. 
@inproceedings{icalp2015-BBLS,
  author =              {Bene{\v{s}}, Nikola and Bezdek, Petr and Larsen, Kim
                         Guldstrand and Srba, Ji{\v r}{\'\i}},
  title =               {Language Emptiness of Continuous-Time Parametric
                         Timed Automata},
  editor =              {Halld{\'o}rsson, Magn{\'u}s M. and Iwana, Kazuo and
                         Kobayashi, Naoki and Speckmann, Bettina},
  booktitle =           {{P}roceedings of the 42nd {I}nternational
                         {C}olloquium on {A}utomata, {L}anguages and
                         {P}rogramming ({ICALP}'15)~-- Part~{II}},
  acronym =             {{ICALP}'15},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {9135},
  pages =               {69-81},
  year =                {2015},
  month =               jul,
  doi =                 {10.1007/978-3-662-47666-6_6},
}
Liste des auteurs