%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 = {2022-05-20T00:00:00.000+0200}, author = {Cabodi, Gianpiero and Camurati, Paolo and Lavagno, Luciano and Quer, Stefano}, biburl = {https://www.bibsonomy.org/bibtex/24d46ca7399610d97725191e16b4ef59a/dblp}, booktitle = {ED&TC}, crossref = {conf/date/1997}, ee = {https://dl.acm.org/doi/10.5555/787260.787661}, interhash = {8e9b0264bc10f0e9dcf6c1a7eed8784a}, intrahash = {4d46ca7399610d97725191e16b4ef59a}, isbn = {0-8186-7786-4}, keywords = {dblp}, pages = {176-181}, publisher = {IEEE Computer Society}, timestamp = {2024-04-09T12:36:28.000+0200}, title = {Verification and synthesis of counters based on symbolic techniques.}, url = {http://dblp.uni-trier.de/db/conf/date/edtc1997.html#CabodiCLQ97}, year = 1997 }