An algebra for Delay-Insensitive circuits

Mark B. Josephs, Jan Tijmen Udding

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    8 Citations (Scopus)
    Original languageEnglish
    Title of host publicationComputer-Aided Verification - 2nd International Conference, CAV 1990, Proceedings
    EditorsEdmund M. Clarke, Robert P. Kurshan
    PublisherSpringer Verlag
    Number of pages10
    ISBN (Print)9783540544777
    Publication statusPublished (VoR) - 1991
    Event2nd International Conference on Computer-Aided Verification, CAV 1990 - New Brunswick, United States
    Duration: 18 Jun 199021 Jun 1990

    Publication series

    NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
    Volume531 LNCS
    ISSN (Print)0302-9743
    ISSN (Electronic)1611-3349


    Conference2nd International Conference on Computer-Aided Verification, CAV 1990
    Country/TerritoryUnited States
    CityNew Brunswick


    Dive into the research topics of 'An algebra for Delay-Insensitive circuits'. Together they form a unique fingerprint.

    Cite this