%0 Conference Paper %1 conf/hldvt/BraunRS03 %A Braun, Markus %A Rosenstiel, Wolfgang %A Schubert, Klaus-Dieter %B HLDVT %D 2003 %I IEEE Computer Society %K %P 91-95 %T Comparison of Bayesian networks and data mining for coverage directed verification category simulation-based verification. %U http://dblp.uni-trier.de/db/conf/hldvt/hldvt2003.html#BraunRS03 %@ 0-7803-8236-6

@inproceedings{conf/hldvt/BraunRS03, added-at = {2023-12-12T19:33:20.000+0100}, author = {Braun, Markus and Rosenstiel, Wolfgang and Schubert, Klaus-Dieter}, biburl = {https://www.bibsonomy.org/bibtex/22a146d3a459137baaad24961c22a9623/admin}, booktitle = {HLDVT}, crossref = {conf/hldvt/2003}, ee = {http://doi.ieeecomputersociety.org/10.1109/HLDVT.2003.1252480}, interhash = {227eee94b0307e7e00f9c5c9bcd6cb2a}, intrahash = {2a146d3a459137baaad24961c22a9623}, isbn = {0-7803-8236-6}, keywords = {}, pages = {91-95}, publisher = {IEEE Computer Society}, timestamp = {2023-12-12T19:33:20.000+0100}, title = {Comparison of Bayesian networks and data mining for coverage directed verification category simulation-based verification.}, url = {http://dblp.uni-trier.de/db/conf/hldvt/hldvt2003.html#BraunRS03}, year = 2003 }