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
    EventFirst International Symposium of Formal Methods Europe - Odense, Denmark
    Duration: 19 Apr 199323 Apr 1993

    Conference

    ConferenceFirst International Symposium of Formal Methods Europe
    Country/TerritoryDenmark
    CityOdense
    Period19/04/199323/04/1993

    Cite this