%0 Conference Paper %1 conf/date/FreuerJGN08 %A Freuer, Jan B. %A Jerke, Göran %A Gerlach, Joachim %A Nebel, Wolfgang %B DATE %D 2008 %E Sciuto, Donatella %I ACM %K dblp %P 26-31 %T On the Verification of High-Order Constraint Compliance in IC Design. %U http://dblp.uni-trier.de/db/conf/date/date2008.html#FreuerJGN08 %@ 978-3-9810801-3-1

@inproceedings{conf/date/FreuerJGN08, added-at = {2018-11-06T00:00:00.000+0100}, author = {Freuer, Jan B. and Jerke, Göran and Gerlach, Joachim and Nebel, Wolfgang}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/27d8d601be092ca0664007ab39b9c4be8/dblp}, booktitle = {DATE}, crossref = {conf/date/2008}, editor = {Sciuto, Donatella}, ee = {https://doi.org/10.1145/1403375.1403385}, interhash = {9afec9a24ba8a6d493f3f1b1b74d3a40}, intrahash = {7d8d601be092ca0664007ab39b9c4be8}, isbn = {978-3-9810801-3-1}, keywords = {dblp}, pages = {26-31}, publisher = {ACM}, timestamp = {2019-09-27T13:35:47.000+0200}, title = {On the Verification of High-Order Constraint Compliance in IC Design.}, url = {http://dblp.uni-trier.de/db/conf/date/date2008.html#FreuerJGN08}, year = 2008 }