%0 Journal Article %1 journals/fmsd/LvovLTPSE14 %A Lvov, Alexey %A Lastras-Montaño, Luis Alfonso %A Trager, Barry M. %A Paruthi, Viresh %A Shadowen, Robert %A El-Zein, Ali %D 2014 %J Formal Methods Syst. Des. %K dblp %N 2 %P 189-212 %T Verification of Galois field based circuits by formal reasoning based on computational algebraic geometry. %U http://dblp.uni-trier.de/db/journals/fmsd/fmsd45.html#LvovLTPSE14 %V 45

@article{journals/fmsd/LvovLTPSE14, added-at = {2020-03-13T00:00:00.000+0100}, author = {Lvov, Alexey and Lastras-Montaño, Luis Alfonso and Trager, Barry M. and Paruthi, Viresh and Shadowen, Robert and El-Zein, Ali}, biburl = {https://www.bibsonomy.org/bibtex/240b8e90fc3489eedadc882f74107b02c/dblp}, ee = {https://doi.org/10.1007/s10703-014-0206-z}, interhash = {4ca1543c153985d1e485010d2c87054e}, intrahash = {40b8e90fc3489eedadc882f74107b02c}, journal = {Formal Methods Syst. Des.}, keywords = {dblp}, number = 2, pages = {189-212}, timestamp = {2020-03-14T11:51:17.000+0100}, title = {Verification of Galois field based circuits by formal reasoning based on computational algebraic geometry.}, url = {http://dblp.uni-trier.de/db/journals/fmsd/fmsd45.html#LvovLTPSE14}, volume = 45, year = 2014 }