P
[PHP11] Amalinda Post, Jochen Hoenicke et Andreas Podelski. RT-Inconsistency: A New Property for Real-Time Requirements. In FASE'11, Lecture Notes in Computer Science 6603, pages 34-49. Springer-Verlag, mars 2011. 
@inproceedings{fase2011-PHP,
  author =              {Post, Amalinda and Hoenicke, Jochen and Podelski,
                         Andreas},
  title =               {RT-Inconsistency: A~New Property for Real-Time
                         Requirements},
  editor =              {Giannakopoulou, Dimitra and Orejas, Fernando},
  booktitle =           {{P}roceedings of the 14th {I}nternational
                         {C}onference on {F}undamental {A}pproaches to
                         {S}oftware {E}ngineering ({FASE}'11)},
  acronym =             {{FASE}'11},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {6603},
  pages =               {34-49},
  year =                {2011},
  month =               mar,
  doi =                 {978-3-642-19811-3_4},
}
Liste des auteurs