Skip to contents

  1. Cha, Sungdeok [Editor]; Choi, Jin-Young [Other]; Kim, Moonzoo [Other]; Lee, Insup [Other]; Viswanathan, Mahesh [Other] ; ATVA 6 2008 Seoul

    Automated technology for verification and analysis : 6th international symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008 ; proceedings

    Books
    View online
    Close

    Bookmarks

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

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

    Published in: Lecture notes in computer science ; 5311

  2. Bernardo, Marco [Editor]; Corradini, Flavio [Other] ; International School on Formal Methods for the Design of Computer, Communication and Software Systems 4 2004 Bertinoro

    Formal methods for the design of real-time systems : International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13 - 18, 2004 ; revised lectures

    Books
    View online
    Close

    Bookmarks

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

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

    Published in: Lecture notes in computer science ; 3185

  3. Lakhnech, Yassine [Editor]; Yovine, Sergio [Other] ; FORMATS 2 2004 Grenoble, FTRTFT 8 2004 Grenoble

    Formal techniques, modelling and analysis of timed and fault-tolerant systems : Joint International Conferences on Formal Modeling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real- Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22 - 24, 2004 ; proceedings

    Books
    View online
    Close

    Bookmarks

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

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

    Published in: Lecture notes in computer science ; 3253

  4. Bernardo, Marco [Author] ; Corradini, Flavio [Other]

    Formal Methods for the Design of Real-Time Systems : International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004. Revised Lectures

    Books
    View online
    Close

    Bookmarks

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

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2004

    Published in: Lecture notes in computer science ; 3185