A Concurrency Case Study Using RAISE

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    Original languageEnglish
    Title of host publicationProceedings of FME'93: Industrial Strength Formal Methods
    PublisherSpringer Verlag
    Publication date1993
    Publication statusPublished - 1993
    EventProceedings of FME'93: Industrial Strength Formal Methods -
    Duration: 1 Jan 1993 → …

    Conference

    ConferenceProceedings of FME'93: Industrial Strength Formal Methods
    Period01/01/1993 → …

    Cite this