Layering Techniques in the development of Parallel Systems

Mannes Poel, Jakob Zwiers

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Original languageUndefined
    Title of host publication4th Workshop on Computer-Aided Verification
    Place of PublicationMontreal
    Pages-
    Number of pages14
    Publication statusPublished - 29 Jun 1992

    Keywords

    • METIS-119893

    Cite this