%0 Conference Paper %1 conf/tphol/BombanaCZ92 %A Bombana, Massimo %A Cavalloro, Patrizia %A Zaza, Giuseppe %B TPHOLs %D 1992 %E Claesen, Luc J. M. %E Gordon, Michael J. C. %I North-Holland/Elsevier %K dblp %P 475-484 %T Specification and Formal Synthesis of Digital Circuits. %U http://dblp.uni-trier.de/db/conf/tphol/tphol92.html#BombanaCZ92 %V A-20 %@ 0-444-89880-8

@inproceedings{conf/tphol/BombanaCZ92, added-at = {2002-01-03T00:00:00.000+0100}, author = {Bombana, Massimo and Cavalloro, Patrizia and Zaza, Giuseppe}, biburl = {https://www.bibsonomy.org/bibtex/2a5fc09f0b6faacf85063dac494e0461f/dblp}, booktitle = {TPHOLs}, crossref = {conf/tphol/1992}, date = {2002-01-03}, description = {dblp}, editor = {Claesen, Luc J. M. and Gordon, Michael J. C.}, interhash = {61ab2e7204bf645ee97da81ff449b921}, intrahash = {a5fc09f0b6faacf85063dac494e0461f}, isbn = {0-444-89880-8}, keywords = {dblp}, pages = {475-484}, publisher = {North-Holland/Elsevier}, series = {IFIP Transactions}, timestamp = {2002-01-03T00:00:00.000+0100}, title = {Specification and Formal Synthesis of Digital Circuits.}, url = {http://dblp.uni-trier.de/db/conf/tphol/tphol92.html#BombanaCZ92}, volume = {A-20}, year = 1992 }