Skip to contents

  1. Cezon, Michael [Other]; Wolfsthal, Yaron [Other]; Cezon, Michel [Editor] ; ServiceWave 3 2010 Gent, OCS 1 2010 Gent

    Towards a service-based internet : ServiceWave 2010 Workshops ; international workshops, OCS, EMSOA, SMART, and EDBPM 2010, Ghent, Belgium, December 13-15, 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 [u.a.]: Springer, 2011

    Published in: Lecture notes in computer science ; 6569

  2. Cezon, Michel [Author] ; Wolfsthal, Yaron [Other]

    Towards a Service-Based Internet. ServiceWave 2010 Workshops : International Workshops, OCS, EMSOA, SMART, and EDBPM 2010, Ghent, Belgium, December 13-15, 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, 2011

    Published in: Lecture notes in computer science ; 6569

  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
    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 ; 3875

  8. Ben-David, Shoham; Eisner, Cindy; Geist, Daniel; Wolfsthal, Yaron

    Model Checking at IBM

    Articles
    View online
    Schließen

    Access

    Close

    Bookmarks

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

    Springer Science and Business Media LLC, 2003

    Published in: Formal Methods in System Design, 22 (2003) 2, Seite 101-108