Hardware synthesis from temporal logic: Undecidability need not matter |
| | Type | Conference paper [Without referee] | | Conference | Position paper, Hardware Synthesis and Verification Workshop | | Year | 1996 | | Publisher | Cornell University | | Address | Ithaca, USA | | Publication link | http://www.imm.dtu.dk/~mf/cornell-hw-synthesis.ps.Z | | BibTeX data | [bibtex] | | IMM Group(s) | Computer Science & Engineering |
|