Skip to contents

  1. Bin, Eyal [Editor]; Ziv, Avi [Other]; Ur, Shmuel [Other] ; International Haifa Verification Conference 2 2006 Haifa

    Hardware and software, verification and testing : Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006 ; revised selected papers

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

    Published in: Lecture notes in computer science ; 4383

  2. Bin, Eyal [Other]; Ur, Shmuel [Other]; Ziv, Avi [Other]

    Hardware and Software, Verification and Testing : Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers

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

    Published in: Lecture notes in computer science ; 4383

  3. Ur, Shmuel [Other]; Bin, Eyal [Other]; Wolfsthal, Yaron [Other]

    Hardware and Software, Verification and Testing : First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers

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

    Published in: Lecture notes in computer science ; 3875

  4. Biberstein, Marina; Farchi, Eitan; Ur, Shmuel

    Choosing among alternative pasts

    Articles
    View online
    Close

    Bookmarks

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

    Wiley, 2007

    Published in: Concurrency and Computation: Practice and Experience, 19 (2007) 3, Seite 341-353