Hardware synthesis from temporal logic: Undecidability need not matter

Martin Fränzle

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearch

    Original languageEnglish
    Title of host publicationPosition paper, Hardware Synthesis and Verification Workshop
    PublisherCornell University
    Publication date1996
    Publication statusPublished - 1996
    EventPosition paper, Hardware Synthesis and Verification Workshop -
    Duration: 1 Jan 1996 → …

    Conference

    ConferencePosition paper, Hardware Synthesis and Verification Workshop
    Period01/01/1996 → …

    Cite this

    Fränzle, M. (1996). Hardware synthesis from temporal logic: Undecidability need not matter. In Position paper, Hardware Synthesis and Verification Workshop Cornell University.