%0 Conference Paper %1 conf/dac/NguyenWSK11 %A Nguyen, Minh D. %A Wedler, Markus %A Stoffel, Dominik %A Kunz, Wolfgang %B DAC %D 2011 %E Stok, Leon %E Dutt, Nikil D. %E Hassoun, Soha %I ACM %K dblp %P 510-515 %T Formal hardware/software co-verification by interval property checking with abstraction. %U http://dblp.uni-trier.de/db/conf/dac/dac2011.html#NguyenWSK11 %@ 978-1-4503-0636-2

@inproceedings{conf/dac/NguyenWSK11, added-at = {2018-11-06T00:00:00.000+0100}, author = {Nguyen, Minh D. and Wedler, Markus and Stoffel, Dominik and Kunz, Wolfgang}, biburl = {https://www.bibsonomy.org/bibtex/20fe3c1f4ad002435e306b22fa685003b/dblp}, booktitle = {DAC}, crossref = {conf/dac/2011}, editor = {Stok, Leon and Dutt, Nikil D. and Hassoun, Soha}, ee = {https://doi.org/10.1145/2024724.2024843}, interhash = {f932c43891b4bc869644b03531e29a05}, intrahash = {0fe3c1f4ad002435e306b22fa685003b}, isbn = {978-1-4503-0636-2}, keywords = {dblp}, pages = {510-515}, publisher = {ACM}, timestamp = {2018-11-07T15:13:40.000+0100}, title = {Formal hardware/software co-verification by interval property checking with abstraction.}, url = {http://dblp.uni-trier.de/db/conf/dac/dac2011.html#NguyenWSK11}, year = 2011 }