Partial Order Based Design of Concurrent Systems

Jakob Zwiers

    Research output: Other contributionOther research output

    Original languageUndefined
    Place of PublicationEindhoven
    Publication statusPublished - 15 Sept 1993

    Keywords

    • METIS-122921

    Cite this