%0 Conference Paper %1 conf/cata/ChuB05 %A Chu, Chunbo %A Brockmeyer, Monica %B CATA %D 2005 %E Hu, Gongzhu %I ISCA %K dblp %P 470-477 %T Fast Online Predicate Detection Using Symbolic Model Checking. %U http://dblp.uni-trier.de/db/conf/cata/cata2005.html#ChuB05 %@ 1-880843-54-4

@inproceedings{conf/cata/ChuB05, added-at = {2021-08-09T00:00:00.000+0200}, author = {Chu, Chunbo and Brockmeyer, Monica}, biburl = {https://www.bibsonomy.org/bibtex/205a43e06cf461a270c3b79d69f122ff1/dblp}, booktitle = {CATA}, crossref = {conf/cata/2005}, editor = {Hu, Gongzhu}, interhash = {6b0652340265ee6949a3766130359b8d}, intrahash = {05a43e06cf461a270c3b79d69f122ff1}, isbn = {1-880843-54-4}, keywords = {dblp}, pages = {470-477}, publisher = {ISCA}, timestamp = {2024-04-09T14:08:12.000+0200}, title = {Fast Online Predicate Detection Using Symbolic Model Checking.}, url = {http://dblp.uni-trier.de/db/conf/cata/cata2005.html#ChuB05}, year = 2005 }