Skip to contents

  2. Fokkink, Willem J. [Author]

    Modelling distributed systems : with 7 tables

    Books
    Close

    Bookmarks

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

    Berlin; Heidelberg [u.a.]: Springer, 2007

    Published in: Texts in theoretical computer science : an EATCS series

  6. Grégoire, Jean-Charles [Contributor]; Holzmann, Gerard J. [Contributor]; Peled, Doron [Contributor]

    The SPIN verification system : the second Workshop on the SPIN Verification System : proceedings of a DIMACS workshop, August 5, 1996

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    Providence, R.I.: American Mathematical Society, 1997

    Published in: DIMACS Series in Discrete Mathematics and Theoretical Computer Science ; v. 32

  8. Wirsing, Martin [Author] ; Hofmann, Martin [Other]; Rauschmayer, Axel [Other]

    Trustworthly Global Computing : 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers

    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, 2010

    Published in: Lecture notes in computer science ; 6084

  9. Bochmann, Gregor von [Other] ; CAV 4 1992 Montréal

    Computer aided verification : fourth international workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992 ; proceedings

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    Berlin [u.a.]: Springer, 1993 ; Online-Ausg., Berlin [u.a.]: Springer, 2006

    Published in: Lecture notes in computer science ; 66300

  10. Datta, Anupam [Author]

    Advances in Computer Science - ASIAN 2009. Information Security and Privacy : 13th Asian Computing Science Conference, Seoul, Korea, December 14-16, 2009. 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, 2009

    Published in: Lecture notes in computer science ; 5913