%0 Conference Paper %1 conf/fmcad/AwedhS04 %A Awedh, Mohammad %A Somenzi, Fabio %B FMCAD %D 2004 %E Hu, Alan J. %E Martin, Andrew K. %I Springer %K dblp %P 230-244 %T Increasing the Robustness of Bounded Model Checking by Computing Lower Bounds on the Reachable States. %U http://dblp.uni-trier.de/db/conf/fmcad/fmcad2004.html#AwedhS04 %V 3312 %@ 3-540-23738-0

@inproceedings{conf/fmcad/AwedhS04, added-at = {2022-04-09T00:00:00.000+0200}, author = {Awedh, Mohammad and Somenzi, Fabio}, biburl = {https://www.bibsonomy.org/bibtex/2f53ad932f5a7ea6f89013c0ba101f94a/dblp}, booktitle = {FMCAD}, crossref = {conf/fmcad/2004}, editor = {Hu, Alan J. and Martin, Andrew K.}, ee = {https://doi.org/10.1007/978-3-540-30494-4_17}, interhash = {d5121e48a2452dc68f5ff643d50fb73a}, intrahash = {f53ad932f5a7ea6f89013c0ba101f94a}, isbn = {3-540-23738-0}, keywords = {dblp}, pages = {230-244}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T16:57:35.000+0200}, title = {Increasing the Robustness of Bounded Model Checking by Computing Lower Bounds on the Reachable States.}, url = {http://dblp.uni-trier.de/db/conf/fmcad/fmcad2004.html#AwedhS04}, volume = 3312, year = 2004 }