%0 Conference Paper %1 conf/iccad/RayHFS16 %A Ray, Sandip %A Harris, Ian G. %A Fey, Görschwin %A Soeken, Mathias %B ICCAD %D 2016 %E Liu, Frank %I ACM %K %P 133 %T Multilevel design understanding: from specification to logic (invited paper). %U http://dblp.uni-trier.de/db/conf/iccad/iccad2016.html#RayHFS16 %@ 978-1-4503-4466-1

@inproceedings{conf/iccad/RayHFS16, added-at = {2023-12-13T04:51:30.000+0100}, author = {Ray, Sandip and Harris, Ian G. and Fey, Görschwin and Soeken, Mathias}, biburl = {https://www.bibsonomy.org/bibtex/2a3212a80ef0b589808976fa00410d188/admin}, booktitle = {ICCAD}, crossref = {conf/iccad/2016}, editor = {Liu, Frank}, ee = {https://doi.org/10.1145/2966986.2980093}, interhash = {9b40d23382bfe9801e7ee544bad5dbdf}, intrahash = {a3212a80ef0b589808976fa00410d188}, isbn = {978-1-4503-4466-1}, keywords = {}, pages = 133, publisher = {ACM}, timestamp = {2023-12-13T04:51:30.000+0100}, title = {Multilevel design understanding: from specification to logic (invited paper).}, url = {http://dblp.uni-trier.de/db/conf/iccad/iccad2016.html#RayHFS16}, year = 2016 }