%0 Journal Article %1 journals/fmsd/ClarkeBRZ01 %A Clarke, Edmund M. %A Biere, Armin %A Raimi, Richard %A Zhu, Yunshan %D 2001 %J Formal Methods Syst. Des. %K dblp %N 1 %P 7-34 %T Bounded Model Checking Using Satisfiability Solving. %U http://dblp.uni-trier.de/db/journals/fmsd/fmsd19.html#ClarkeBRZ01 %V 19

@article{journals/fmsd/ClarkeBRZ01, added-at = {2020-03-13T00:00:00.000+0100}, author = {Clarke, Edmund M. and Biere, Armin and Raimi, Richard and Zhu, Yunshan}, biburl = {https://www.bibsonomy.org/bibtex/2ae602734df0f05b3af388f8b6970e6a5/dblp}, ee = {https://www.wikidata.org/entity/Q55889278}, interhash = {8b70022a1524973a324662146bc15755}, intrahash = {ae602734df0f05b3af388f8b6970e6a5}, journal = {Formal Methods Syst. Des.}, keywords = {dblp}, number = 1, pages = {7-34}, timestamp = {2020-03-14T11:51:10.000+0100}, title = {Bounded Model Checking Using Satisfiability Solving.}, url = {http://dblp.uni-trier.de/db/journals/fmsd/fmsd19.html#ClarkeBRZ01}, volume = 19, year = 2001 }