P
[Pel98] Doron A. Peled. Ten years of partial-order reduction. In CAV'98, Lecture Notes in Computer Science 1427, pages 17-28. Springer-Verlag, juin 1998. 
@inproceedings{cav1998-Pel,
  author =              {Peled, Doron A.},
  title =               {Ten years of partial-order reduction},
  editor =              {Hu, Alan J. and Vardi, Moshe Y.},
  booktitle =           {{P}roceedings of the 10th {I}nternational
                         {C}onference on {C}omputer {A}ided {V}erification
                         ({CAV}'98)},
  acronym =             {{CAV}'98},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {1427},
  pages =               {17-28},
  year =                {1998},
  month =               jun,
  doi =                 {10.1007/BFb0028727},
}
Liste des auteurs