%0 Conference Paper %1 conf/date/CabodiCLQ97 %A Cabodi, Gianpiero %A Camurati, Paolo %A Lavagno, Luciano %A Quer, Stefano %B ED&TC %D 1997 %I IEEE Computer Society %K dblp %P 176-181 %T Verification and synthesis of counters based on symbolic techniques. %U http://dblp.uni-trier.de/db/conf/date/edtc1997.html#CabodiCLQ97 %@ 0-8186-7786-4

@inproceedings{conf/date/CabodiCLQ97, added-at = {2015-11-11T00:00:00.000+0100}, author = {Cabodi, Gianpiero and Camurati, Paolo and Lavagno, Luciano and Quer, Stefano}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/24d46ca7399610d97725191e16b4ef59a/dblp}, booktitle = {ED&TC}, crossref = {conf/date/1997}, ee = {http://doi.ieeecomputersociety.org/10.1109/EDTC.1997.582355}, interhash = {8e9b0264bc10f0e9dcf6c1a7eed8784a}, intrahash = {4d46ca7399610d97725191e16b4ef59a}, isbn = {0-8186-7786-4}, keywords = {dblp}, pages = {176-181}, publisher = {IEEE Computer Society}, timestamp = {2016-02-02T13:24:32.000+0100}, title = {Verification and synthesis of counters based on symbolic techniques.}, url = {http://dblp.uni-trier.de/db/conf/date/edtc1997.html#CabodiCLQ97}, year = 1997 }