%0 Conference Paper %1 conf/date/WagnerB08 %A Wagner, Ilya %A Bertacco, Valeria %B DATE %D 2008 %E Sciuto, Donatella %I ACM %K dblp %P 670-675 %T MCjammer: Adaptive Verification for Multi-core Designs. %U http://dblp.uni-trier.de/db/conf/date/date2008.html#WagnerB08 %@ 978-3-9810801-3-1

@inproceedings{conf/date/WagnerB08, added-at = {2023-03-24T00:00:00.000+0100}, author = {Wagner, Ilya and Bertacco, Valeria}, biburl = {https://www.bibsonomy.org/bibtex/2375a994b308e5fd51d4b48226ff0a9a6/dblp}, booktitle = {DATE}, crossref = {conf/date/2008}, editor = {Sciuto, Donatella}, ee = {https://doi.org/10.1145/1403375.1403539}, interhash = {ca8e95e957e3ea3301ba13c22ffaa270}, intrahash = {375a994b308e5fd51d4b48226ff0a9a6}, isbn = {978-3-9810801-3-1}, keywords = {dblp}, pages = {670-675}, publisher = {ACM}, timestamp = {2024-04-10T06:51:02.000+0200}, title = {MCjammer: Adaptive Verification for Multi-core Designs.}, url = {http://dblp.uni-trier.de/db/conf/date/date2008.html#WagnerB08}, year = 2008 }