%0 Conference Paper %1 conf/aspdac/WagnerBA06 %A Wagner, Ilya %A Bertacco, Valeria %A Austin, Todd M. %B ASP-DAC %D 2006 %E Hirose, Fumiyasu %I IEEE %K dblp %P 442-447 %T Depth-driven verification of simultaneous interfaces. %U http://dblp.uni-trier.de/db/conf/aspdac/aspdac2006.html#WagnerBA06 %@ 0-7803-9451-8

@inproceedings{conf/aspdac/WagnerBA06, added-at = {2018-11-06T00:00:00.000+0100}, author = {Wagner, Ilya and Bertacco, Valeria and Austin, Todd M.}, biburl = {https://www.bibsonomy.org/bibtex/260d8d66b02d7d4e71b054005486d4be2/dblp}, booktitle = {ASP-DAC}, crossref = {conf/aspdac/2006}, editor = {Hirose, Fumiyasu}, ee = {https://doi.org/10.1145/1118299.1118410}, interhash = {8f40683e25959fe95c733ae3c78ede67}, intrahash = {60d8d66b02d7d4e71b054005486d4be2}, isbn = {0-7803-9451-8}, keywords = {dblp}, pages = {442-447}, publisher = {IEEE}, timestamp = {2019-10-17T16:45:43.000+0200}, title = {Depth-driven verification of simultaneous interfaces.}, url = {http://dblp.uni-trier.de/db/conf/aspdac/aspdac2006.html#WagnerBA06}, year = 2006 }