B
[BCC+99] Armin Biere, Alessandro Cimatti, Edmund M. Clarke, and Yunshan Zhu. Symbolic Model Checking without BDDs. In TACAS'99, Lecture Notes in Computer Science 1579, pages 193-207. Springer-Verlag, March 1999. 
@inproceedings{tacas1999-BCCZ,
  author =              {Biere, Armin and Cimatti, Alessandro and Clarke,
                         Edmund M. and Zhu, Yunshan},
  title =               {Symbolic Model Checking without {BDD}s},
  editor =              {Cleaveland, Rance},
  booktitle =           {{P}roceedings of the 5th {I}nternational
                         {C}onference on {T}ools and {A}lgorithms for
                         {C}onstruction and {A}nalysis of {S}ystems
                         ({TACAS}'99)},
  acronym =             {{TACAS}'99},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {1579},
  pages =               {193-207},
  year =                {1999},
  month =               mar,
}
List of authors