%0 Conference Paper %1 conf/fdl/TholeRF16 %A Thole, Niels %A Riener, Heinz %A Fey, Görschwin %B FDL %D 2016 %E Drechsler, Rolf %E Wille, Robert %I IEEE %K %P 1-8 %T Equivalence checking on ESL utilizing a priori knowledge. %U http://dblp.uni-trier.de/db/conf/fdl/fdl2016.html#TholeRF16 %@ 979-10-92279-17-7

@inproceedings{conf/fdl/TholeRF16, added-at = {2023-12-13T05:09:06.000+0100}, author = {Thole, Niels and Riener, Heinz and Fey, Görschwin}, biburl = {https://www.bibsonomy.org/bibtex/23028754c4e6456645aa1558316896685/admin}, booktitle = {FDL}, crossref = {conf/fdl/2016}, editor = {Drechsler, Rolf and Wille, Robert}, ee = {https://doi.org/10.1109/FDL.2016.7880367}, interhash = {9f102298d24efe3b91d78814adcb2a7a}, intrahash = {3028754c4e6456645aa1558316896685}, isbn = {979-10-92279-17-7}, keywords = {}, pages = {1-8}, publisher = {IEEE}, timestamp = {2023-12-13T05:09:06.000+0100}, title = {Equivalence checking on ESL utilizing a priori knowledge.}, url = {http://dblp.uni-trier.de/db/conf/fdl/fdl2016.html#TholeRF16}, year = 2016 }