An exercise in protocol systesis

Jeroen Schot, P.H.J. van Eijk

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

    Original languageUndefined
    Title of host publicationFORTE 91 (Fourth International Conference on Formal Description Techniques
    Place of PublicationSydney, Australia
    Pages121-135
    Number of pages15
    Publication statusPublished - 1 Sep 1991

    Keywords

    • METIS-119474

    Cite this