%0 Conference Paper %1 conf/date/DenizSH12 %A Deniz, Etem %A Sen, Alper %A Holt, Jim %B DATE %D 2012 %E Rosenstiel, Wolfgang %E Thiele, Lothar %I IEEE %K dblp %P 252-255 %T Verification coverage of embedded multicore applications. %U http://dblp.uni-trier.de/db/conf/date/date2012.html#DenizSH12 %@ 978-1-4577-2145-8

@inproceedings{conf/date/DenizSH12, added-at = {2015-11-11T00:00:00.000+0100}, author = {Deniz, Etem and Sen, Alper and Holt, Jim}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/248cd3ba3f40bf9122927428c2cf5ec60/dblp}, booktitle = {DATE}, crossref = {conf/date/2012}, editor = {Rosenstiel, Wolfgang and Thiele, Lothar}, ee = {http://dl.acm.org/citation.cfm?id=2492771}, interhash = {1afb223493bb966df96a76166641ce60}, intrahash = {48cd3ba3f40bf9122927428c2cf5ec60}, isbn = {978-1-4577-2145-8}, keywords = {dblp}, pages = {252-255}, publisher = {IEEE}, timestamp = {2016-02-02T13:23:52.000+0100}, title = {Verification coverage of embedded multicore applications.}, url = {http://dblp.uni-trier.de/db/conf/date/date2012.html#DenizSH12}, year = 2012 }