%0 Journal Article %1 journals/jbcs/AbreuGCFS16 %A Abreu, Renato B. %A Gadelha, Mikhail Y. R. %A Cordeiro, Lucas C. %A de Lima Filho, Eddie Batista %A da Silva Jr., Waldir Sabino %D 2016 %J J. Braz. Comp. Soc. %K dblp %N 1 %P 1:1-1:20 %T Bounded model checking for fixed-point digital filters. %U http://dblp.uni-trier.de/db/journals/jbcs/jbcs22.html#AbreuGCFS16 %V 22

@article{journals/jbcs/AbreuGCFS16, added-at = {2019-06-02T00:00:00.000+0200}, author = {Abreu, Renato B. and Gadelha, Mikhail Y. R. and Cordeiro, Lucas C. and de Lima Filho, Eddie Batista and da Silva Jr., Waldir Sabino}, biburl = {https://www.bibsonomy.org/bibtex/2e10266d182382bd0c2bd49af76de8fb9/dblp}, ee = {https://www.wikidata.org/entity/Q59475427}, interhash = {65e5097d32de86059ca50aea2f993917}, intrahash = {e10266d182382bd0c2bd49af76de8fb9}, journal = {J. Braz. Comp. Soc.}, keywords = {dblp}, number = 1, pages = {1:1-1:20}, timestamp = {2019-06-04T12:41:12.000+0200}, title = {Bounded model checking for fixed-point digital filters.}, url = {http://dblp.uni-trier.de/db/journals/jbcs/jbcs22.html#AbreuGCFS16}, volume = 22, year = 2016 }