© University of Kent - Contact | Feedback | Legal
The University of Kent, Canterbury, Kent, CT2 7NZ, T +44 (0)1227 764000
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 532-548. 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 = {532--548},
keywords = {},
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},
}