Formal derivation of a loadable asynchronous counter

Mark B. Josephs*

*Corresponding author for this work

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

    1 Citation (Scopus)
    Original languageEnglish
    Title of host publicationMathematics of Program Construction - 4th International Conference, MPC 1998, Proceedings
    EditorsJohan Jeuring
    PublisherSpringer Verlag
    Pages234-253
    Number of pages20
    ISBN (Print)3540645918, 9783540645917
    DOIs
    Publication statusPublished (VoR) - 1998
    Event4th International Conference on Mathematics of Program Construction, MPC 1998 - Marstrand, Sweden
    Duration: 15 Jun 199817 Jun 1998

    Publication series

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

    Conference

    Conference4th International Conference on Mathematics of Program Construction, MPC 1998
    Country/TerritorySweden
    CityMarstrand
    Period15/06/9817/06/98

    Fingerprint

    Dive into the research topics of 'Formal derivation of a loadable asynchronous counter'. Together they form a unique fingerprint.

    Cite this