Skip to contents

  2. Clarke, Edmund M. [Author]; Grumberg, Orna [Author]; Peled, Doron [Author]

    Model checking - [2. print.]

    Books
    Close

    Bookmarks

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

    Cambridge, Mass. [u.a.]: MIT Press, 2000

  4. Clarke, Edmund M. [Editor]; Henzinger, Thomas [Editor]; Veith, Helmut [Editor]; Bloem, Roderick [Editor]

    Handbook of model checking

    Books
    Close

    Bookmarks

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

    Cham: Springer, [2018]

  6. Clarke, Edmund M. [Author]; Grumberg, Orna [Author]; Peled, Doron [Author] ; Peled, Doron A. [Other]

    Model checking - [3. print.]

    Books
    Close

    Bookmarks

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

    Cambridge, Mass. [u.a.]: MIT Press, 2001

  7. Garcez, Edelweis Helena Ache [Author]

    A coverification framework

    Books
    Close

    Bookmarks

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

    1999

  8. Clarke, Edmund M. [Author]; Grumberg, Orna [Author]; Peled, Doron [Author]

    Model checking

    Books
    Close

    Bookmarks

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

    Cambridge, Mass.; London: MIT, c 1999

  13. Grumberg, Orna [Editor]; Veith, Helmut [Other] ; Symposium 25 Years of Model Checking 2006 Seattle, Wash, CAV 18 2006 Seattle, Wash, Federated Logic Conference 4 2006 Seattle, Wash

    25 years of model checking : history, achievements, perspectives ; [papers based on talks at the Symposium "25 Years of Model Checking", 25MC, which was part of the 18th International Conference on Computer Aided Verification (CAV 2006), which in turn was part of the Federated Logic Conference (FLoC 2006), held in Seattle, WA, USA, in August 2006]

    Books
    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 ; 5000

  14. Baier, Christel [Author]; Katoen, Joost-Pieter [Author]

    Principles of model checking

    Books
    Close

    Bookmarks

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

    Cambridge, Mass. [u.a.]: MIT Press, 2008