Skip to contents

  2. Najm, Elie [Editor]; Stefani, Jean-Bernard [Other] ; International Federation for Information Processing Working Group Architecture and Protocols for Computer Networks, International Workshop on Formal Methods for Open Object Based Distributed Systems 1 1996 Paris

    Formal methods for open object-based distributed systems - [1. ed.]

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    London; Weinheim [u.a.]: Chapman & Hall, 1997

  5. Steffen, Martin [Other]; Zavattaro, Gianluigi [Other]

    Formal Methods for Open Object-Based Distributed Systems (vol. # 3535) : 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2005

    Published in: Lecture notes in computer science ; 3535

  6. Gorrieri, Roberto [Other]; Wehrheim, Heike [Other]

    Formal Methods for Open Object-Based Distributed Systems (vol. # 4037) : 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2006

    Published in: Lecture notes in computer science ; 4037