© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Formal Synthesis of Digital Systems
F. K. Hanna, N. Daeche, and M. Longley
In L. Claesen, editor, Proc IFIP Intnl. Workshop on Applied Formal Methods for Correct VLSI Design, pages 182-196. Elsevier, 1989 Leuven, Belgium.Bibtex Record
@inproceedings{422, author = {F. K. Hanna and N. Daeche and M. Longley}, title = {Formal {S}ynthesis of {D}igital {S}ystems}, month = {unknown}, year = {1989}, pages = {182-196}, keywords = {determinacy analysis, Craig interpolants}, note = {Leuven, Belgium}, doi = {}, url = {http://www.cs.kent.ac.uk/pubs/1989/422}, booktitle = {Proc IFIP Intnl. Workshop on Applied Formal Methods for Correct VLSI Design}, editor = {L. Claesen}, publisher = {Elsevier}, }