B
[BCM+92] Jerry R. Burch, Edmund M. Clarke, Kenneth L. McMillan, David L. Dill, and L. J. Hwang. Symbolic model checking: 1020 states and beyond. Information and Computation 98(2):142-170. Academic Press, June 1992. 
@article{icomp98(2)-BCMDH,
  author =              {Burch, Jerry R. and Clarke, Edmund M. and McMillan,
                         Kenneth L. and Dill, David L. and Hwang, L. J.},
  title =               {Symbolic model checking: {\(10^{20}\)} states and
                         beyond},
  publisher =           {Academic Press},
  journal =             {Information and Computation},
  volume =              {98},
  number =              {2},
  pages =               {142-170},
  year =                {1992},
  month =               jun,
}
List of authors