Formal Description Techniques for Distributed Computing Systems

C.A. Vissers, J. van de Lagemaat, L.F. Pires

    Research output: Contribution to journalArticleProfessional

    Original languageUndefined
    Pages (from-to)-
    Number of pages17
    JournalMemoranda informatica
    Volume90
    Issue number31
    Publication statusPublished - 1990

    Keywords

    • METIS-121874

    Cite this