%0 Conference Paper %1 conf/iccad/WilleD15 %A Wille, Robert %A Drechsler, Rolf %B ICCAD %D 2015 %E Marculescu, Diana %E Liu, Frank %I IEEE %K %P 65-70 %T Formal Methods for Emerging Technologies. %U http://dblp.uni-trier.de/db/conf/iccad/iccad2015.html#WilleD15 %@ 978-1-4673-8389-9

@inproceedings{conf/iccad/WilleD15, added-at = {2023-12-13T03:47:11.000+0100}, author = {Wille, Robert and Drechsler, Rolf}, biburl = {https://www.bibsonomy.org/bibtex/2d38988c80fda6c8cfc1a86e6ddfce8e6/admin}, booktitle = {ICCAD}, crossref = {conf/iccad/2015}, editor = {Marculescu, Diana and Liu, Frank}, ee = {https://www.wikidata.org/entity/Q59242029}, interhash = {8ede443b5ce9c86f51af7bfeb38c11d2}, intrahash = {d38988c80fda6c8cfc1a86e6ddfce8e6}, isbn = {978-1-4673-8389-9}, keywords = {}, pages = {65-70}, publisher = {IEEE}, timestamp = {2023-12-13T03:47:11.000+0100}, title = {Formal Methods for Emerging Technologies.}, url = {http://dblp.uni-trier.de/db/conf/iccad/iccad2015.html#WilleD15}, year = 2015 }