%0 Conference Paper %1 conf/lics/BurchCMDH90 %A Burch, Jerry R. %A Clarke, Edmund M. %A McMillan, Kenneth L. %A Dill, David L. %A Hwang, L. J. %B LICS %D 1990 %I IEEE Computer Society %K dblp %P 428-439 %T Symbolic Model Checking: 10^20 States and Beyond %U http://dblp.uni-trier.de/db/conf/lics/lics90.html#BurchCMDH90 %@ 0-8186-2073-0

@inproceedings{conf/lics/BurchCMDH90, added-at = {2023-03-24T00:00:00.000+0100}, author = {Burch, Jerry R. and Clarke, Edmund M. and McMillan, Kenneth L. and Dill, David L. and Hwang, L. J.}, biburl = {https://www.bibsonomy.org/bibtex/260189135a3876654c910b87dca63b0cc/dblp}, booktitle = {LICS}, crossref = {conf/lics/1990}, ee = {https://doi.ieeecomputersociety.org/10.1109/LICS.1990.113767}, interhash = {1b3466d7869f713c03910da6e8357665}, intrahash = {60189135a3876654c910b87dca63b0cc}, isbn = {0-8186-2073-0}, keywords = {dblp}, pages = {428-439}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T06:42:06.000+0200}, title = {Symbolic Model Checking: 10^20 States and Beyond}, url = {http://dblp.uni-trier.de/db/conf/lics/lics90.html#BurchCMDH90}, year = 1990 }