C
[CJL+02] Edmund M. Clarke, Somesh Jha, Yuan Lu et Helmut Veith. Tree-Like Counterexamples in Model Checking. In LICS'02, pages 19-29. IEEE Comp. Soc. Press, juillet 2002. 
@inproceedings{lics2002-CJLV,
  author =              {Clarke, Edmund M. and Jha, Somesh and Lu, Yuan and
                         Veith, Helmut},
  title =               {Tree-Like Counterexamples in Model Checking},
  booktitle =           {{P}roceedings of the 17th {A}nnual {S}ymposium on
                         {L}ogic in {C}omputer {S}cience ({LICS}'02)},
  acronym =             {{LICS}'02},
  publisher =           {IEEE Comp. Soc. Press},
  pages =               {19-29},
  year =                {2002},
  month =               jul,
}
Liste des auteurs