C
[CGJ+01] Edmund M. Clarke, Orna Grumberg, Somesh Jha, Yuan Lu et Helmut Veith. Progress on the State Explosion Problem in Model Checking. In Reinhard Wilhelm (eds.), Informatics – 10 Years Back. 10 Years Ahead, Lecture Notes in Computer Science 2000, pages 176-194. Springer-Verlag, 2001. 
@incollection{lncs2000-CGJLV,
  author =              {Clarke, Edmund M. and Grumberg, Orna and Jha, Somesh
                         and Lu, Yuan and Veith, Helmut},
  title =               {Progress on the State Explosion Problem in Model
                         Checking},
  editor =              {Wilhelm, Reinhard},
  booktitle =           {Informatics~-- 10~Years Back. 10~Years Ahead},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {2000},
  pages =               {176-194},
  year =                {2001},
}
Liste des auteurs