Zum Inhalt springen

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

    Model checking - [2. print.]

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

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

    Handbook of model checking

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Cham: Springer, [2018]

  5. Clarke, Edmund M. [VerfasserIn]; Grumberg, Orna [VerfasserIn]; Peled, Doron [VerfasserIn] ; Peled, Doron A. [Sonstige Person, Familie und Körperschaft]

    Model checking - [3. print.]

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

  7. Garcez, Edelweis Helena Ache [VerfasserIn]

    A coverification framework

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    1999

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

    Model checking

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Cambridge, Mass.; London: MIT, c 1999

  10. Grumberg, Orna [HerausgeberIn]; Veith, Helmut [Sonstige Person, Familie und Körperschaft] ; 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]

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

    Erschienen in: Lecture notes in computer science ; 5000

  12. Baier, Christel [VerfasserIn]; Katoen, Joost-Pieter [VerfasserIn]

    Principles of model checking

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

  19. Barthe, Gilles [HerausgeberIn]; Hermenegildo, Manuel [Sonstige Person, Familie und Körperschaft] ; VMCAI 11 2010 Madrid

    Verification, model checking, and abstract interpretation : 11th international conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010 ; proceedings

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

    Erschienen in: Lecture notes in computer science ; 5944