Formal Methods for Open Object-Based Distributed Systems V

B. Jacobs (Editor), Arend Rensink (Editor)

    Research output: Book/ReportBook editingAcademic

    Original languageEnglish
    Place of PublicationDordrecht
    PublisherKluwer Academic Publishers
    Number of pages296
    ISBN (Print)0-7923-7683-8
    Publication statusPublished - 2002

    Publication series

    NameIFIP Conference Proceedings
    PublisherKluwer Academic Publishers
    Volume209

    Keywords

    • EWI-6921

    Cite this

    Jacobs, B., & Rensink, A. (Eds.) (2002). Formal Methods for Open Object-Based Distributed Systems V. (IFIP Conference Proceedings; Vol. 209). Dordrecht: Kluwer Academic Publishers.