by
Reference:
Symbolic Model Checking (), In Computer Aided Verification, 8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996, Proceedings, 1996.
Bibtex Entry:
@inproceedings{DBLP:conf/cav/ClarkeMCH96,
author = {Edmund M. Clarke and
Kenneth L. McMillan and
S{\'{e}}rgio Vale Aguiar Campos and
Vasiliki Hartonas{-}Garmhausen},
title = {Symbolic Model Checking},
booktitle = {Computer Aided Verification, 8th International Conference, {CAV} '96,
New Brunswick, NJ, USA, July 31 - August 3, 1996, Proceedings},
pages = {419--427},
year = {1996},
url = {https://doi.org/10.1007/3-540-61474-5\_93},
doi = {10.1007/3-540-61474-5\_93},
timestamp = {Mon, 22 May 2017 16:14:02 +0200},
biburl = {https://dblp.org/rec/bib/conf/cav/ClarkeMCH96},
bibsource = {dblp computer science bibliography, https://dblp.org}
}