Symbolic Model Checking: 10\^20 States and Beyond (bibtex)

by Jerry R. Burch and Edmund M. Clarke and Kenneth L. McMillan and David L. Dill and L. J. Hwang

Reference:

Symbolic Model Checking: 10\^20 States and Beyond (Jerry R. Burch and Edmund M. Clarke and Kenneth L. McMillan and David L. Dill and L. J. Hwang), In Proceedings of the Fifth Annual Symposium on Logic in Computer Science (LICS '90), Philadelphia, Pennsylvania, USA, June 4-7, 1990, 1990.

Bibtex Entry:

@inproceedings{DBLP:conf/lics/BurchCMDH90,
  author    = {Jerry R. Burch and
               Edmund M. Clarke and
               Kenneth L. McMillan and
               David L. Dill and
               L. J. Hwang},
  title     = {Symbolic Model Checking: 10{\^{}}20 States and Beyond},
  booktitle = {Proceedings of the Fifth Annual Symposium on Logic in Computer Science
               {(LICS} '90), Philadelphia, Pennsylvania, USA, June 4-7, 1990},
  pages     = {428--439},
  year      = {1990},
  url       = {LICS90.pdf},
  doi       = {10.1109/LICS.1990.113767},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lics/BurchCMDH90},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}