%0 Conference Paper %1 conf/itc/DamljanovicJPSS19 %A Damljanovic, Aleksa %A Jutman, Artur %A Portolan, Michele %A Sánchez, Ernesto %A Squillero, Giovanni %A Tsertov, Anton %B ITC %D 2019 %I IEEE %K dblp %P 1-8 %T Simulation-based Equivalence Checking between IEEE 1687 ICL and RTL. %U http://dblp.uni-trier.de/db/conf/itc/itc2019.html#DamljanovicJPSS19 %@ 978-1-7281-4823-6

@inproceedings{conf/itc/DamljanovicJPSS19, added-at = {2020-06-15T00:00:00.000+0200}, author = {Damljanovic, Aleksa and Jutman, Artur and Portolan, Michele and Sánchez, Ernesto and Squillero, Giovanni and Tsertov, Anton}, biburl = {https://www.bibsonomy.org/bibtex/2e4381850d5072c1666475cdd5ffa180e/dblp}, booktitle = {ITC}, crossref = {conf/itc/2019}, ee = {https://doi.org/10.1109/ITC44170.2019.9000181}, interhash = {452a1c5cc470423b13c9655281d19d0e}, intrahash = {e4381850d5072c1666475cdd5ffa180e}, isbn = {978-1-7281-4823-6}, keywords = {dblp}, pages = {1-8}, publisher = {IEEE}, timestamp = {2020-06-16T12:17:10.000+0200}, title = {Simulation-based Equivalence Checking between IEEE 1687 ICL and RTL.}, url = {http://dblp.uni-trier.de/db/conf/itc/itc2019.html#DamljanovicJPSS19}, year = 2019 }