Hardware synthesis from temporal logic: Undecidability need not matter

Martin Fränzle

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research

Original language	English
Title of host publication	Position paper, Hardware Synthesis and Verification Workshop
Publisher	Cornell University
Publication date	1996
Publication status	Published - 1996
Event	Position paper, Hardware Synthesis and Verification Workshop - Duration: 1 Jan 1996 → …

Conference	Position paper, Hardware Synthesis and Verification Workshop
Period	01/01/1996 → …

OpenUrl availability

@inproceedings{3cabad80dfaa4e628d35d262478237a7,

title = "Hardware synthesis from temporal logic: Undecidability need not matter",

author = "Martin Fr{\"a}nzle",

year = "1996",

language = "English",

booktitle = "Position paper, Hardware Synthesis and Verification Workshop",

publisher = "Cornell University",

note = "Position paper, Hardware Synthesis and Verification Workshop ; Conference date: 01-01-1996",

}