%0 Conference Paper %1 conf/fmcad/LonsingMB20 %A Lonsing, Florian %A Mitra, Subhasish %A Barrett, Clark W. %B FMCAD %D 2020 %I IEEE %K dblp %P 1-10 %T A Theoretical Framework for Symbolic Quick Error Detection. %U http://dblp.uni-trier.de/db/conf/fmcad/fmcad2020.html#LonsingMB20 %@ 978-3-85448-042-6

@inproceedings{conf/fmcad/LonsingMB20, added-at = {2021-07-25T00:00:00.000+0200}, author = {Lonsing, Florian and Mitra, Subhasish and Barrett, Clark W.}, biburl = {https://www.bibsonomy.org/bibtex/2a77615548ecf878e8cb9ec78c5621455/dblp}, booktitle = {FMCAD}, crossref = {conf/fmcad/2020}, ee = {https://doi.org/10.34727/2020/isbn.978-3-85448-042-6_9}, interhash = {16896bc7ec1e982c8bac20078682c697}, intrahash = {a77615548ecf878e8cb9ec78c5621455}, isbn = {978-3-85448-042-6}, keywords = {dblp}, pages = {1-10}, publisher = {IEEE}, timestamp = {2024-04-09T23:58:38.000+0200}, title = {A Theoretical Framework for Symbolic Quick Error Detection.}, url = {http://dblp.uni-trier.de/db/conf/fmcad/fmcad2020.html#LonsingMB20}, year = 2020 }