%0 Conference Paper %1 conf/tacas/BiereCCZ99 %A Biere, Armin %A Cimatti, Alessandro %A Clarke, Edmund M. %A Zhu, Yunshan %B TACAS %D 1999 %E Cleaveland, Rance %I Springer %K dblp %P 193-207 %T Symbolic Model Checking without BDDs. %U http://dblp.uni-trier.de/db/conf/tacas/tacas99.html#BiereCCZ99 %V 1579 %@ 3-540-65703-7

@inproceedings{conf/tacas/BiereCCZ99, added-at = {2019-06-02T00:00:00.000+0200}, author = {Biere, Armin and Cimatti, Alessandro and Clarke, Edmund M. and Zhu, Yunshan}, biburl = {https://www.bibsonomy.org/bibtex/22aa47b885a212135444ad31bf3658c53/dblp}, booktitle = {TACAS}, crossref = {conf/tacas/1999}, editor = {Cleaveland, Rance}, ee = {https://www.wikidata.org/entity/Q62041452}, interhash = {510501964e4ffc7e2a7f28cd7f1dc85f}, intrahash = {2aa47b885a212135444ad31bf3658c53}, isbn = {3-540-65703-7}, keywords = {dblp}, pages = {193-207}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-06-04T13:55:18.000+0200}, title = {Symbolic Model Checking without BDDs.}, url = {http://dblp.uni-trier.de/db/conf/tacas/tacas99.html#BiereCCZ99}, volume = 1579, year = 1999 }