Zum Inhalt springen

  1. 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

  2. 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

  4. 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

  5. Havelund, Klaus [HerausgeberIn]; Majumdar, Rupak [Sonstige Person, Familie und Körperschaft]; Palsberg, Jens [Sonstige Person, Familie und Körperschaft] ; International SPIN Workshop 15 2008 Los Angeles, Calif

    Model checking software : 15th International SPIN Workshop, Los Angeles, CA, USA, August 10 - 12 , 2008; 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, 2008

    Erschienen in: Lecture notes in computer science ; 5156

  6. Jones, Neil D. [HerausgeberIn]; Müller-Olm, Markus [Sonstige Person, Familie und Körperschaft] ; VMCAI 10 2009 Savannah, Ga

    Verification, model checking, and abstract interpretation : 10th international conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009 ; 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, 2009

    Erschienen in: Lecture notes in computer science ; 5403

  7. Cook, Byron [HerausgeberIn]; Podelski, Andreas [Sonstige Person, Familie und Körperschaft] ; VMCAI 8 2007 Nizza

    Verification, model checking, and abstract interpretation : 8th international conference, VMCAI 2007, Nice, France, January 14 - 16, 2007 ; 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, 2007

    Erschienen in: Lecture notes in computer science ; 4349

  9. Emerson, E. Allen [HerausgeberIn]; Namjoshi, Kedar S. [Sonstige Person, Familie und Körperschaft] ; VMCAI 7 2006 Charleston, SC

    Verification, model checking, and abstract interpretation : 7th international conference, VMCAI 2006, Charleston, SC, USA, January 8 - 10, 2006 ; 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, 2006

    Erschienen in: Lecture notes in computer science ; 3855

  14. Havelund, Klaus [HerausgeberIn]; Penix, John [Sonstige Person, Familie und Körperschaft]; Visser, Willem [Sonstige Person, Familie und Körperschaft] ; International SPIN Workshop 7 2000 Stanford, Calif

    SPIN model checking and software verification : 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, 2000

    Erschienen in: Lecture notes in computer science ; 1885

  16. Pol, Jaco van der [Sonstige Person, Familie und Körperschaft]; Weber, Michael [Sonstige Person, Familie und Körperschaft]; Pol, Jan Cornelis van der [HerausgeberIn] ; International SPIN Workshop 17 2010 Enschede

    Model checking software : 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 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 ; 6349

  18. Logozzo, Francesco [HerausgeberIn]; Peled, Doron A. [Sonstige Person, Familie und Körperschaft]; Zuck, Leonore D. [Sonstige Person, Familie und Körperschaft] ; VMCAI 9 2008 San Francisco, Calif

    Verification, model checking, and abstract interpretation : 9th international conference, VMCAI 2008, San Francisco, USA, January 7 - 9, 2008 ; 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, 2008

    Erschienen in: Lecture notes in computer science ; 4905

  20. Valmari, Antti [HerausgeberIn] ; International SPIN Workshop 13 2006 Wien, ETAPS 9 2006 Wien

    Model checking software : 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006 ; proceedings ; [ETAPS 2006, European Joint Conferences on Theory and Practice of Software]

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

    Erschienen in: Lecture notes in computer science ; 3925