Partial Order Based Design of Concurrent Systems

Jakob Zwiers

    Research output: Other contribution › Other research output

    Original languageUndefined
    Place of PublicationREX School, Noordwijkerhout
    Publication statusPublished - 9 Feb 1993

    Keywords

    • METIS-122923

    Cite this