Zum Inhalt springen

Ben-Arî, Môtî [VerfasserIn]

Principles of the spin model checker

Schließen

Merkliste

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

London: Springer, 2008
Holzmann, Gerard J. [VerfasserIn]

The spin model checker : primer and reference manual - [2. print.]

Schließen

Merkliste

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

Boston, Mass.; Munich [u.a.]: Addison-Wesley, 2005
Holzmann, Gerard J. [VerfasserIn]

The spin model checker : primer and reference manual

Schließen

Merkliste

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

Boston; Munich [u.a.]: Addison-Wesley, 2004
Holzmann, Gerard J. [VerfasserIn]

The spin model checker : primer and reference manual - [3rd printing]

Schließen

Merkliste

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

Boston, Mass.; Munich [u.a.]: Addison-Wesley, 2006
Clarke, Edmund M. [VerfasserIn]; Grumberg, Orna [VerfasserIn]; Peled, Doron [VerfasserIn] ; Peled, Doron A. [Sonstige Person, Familie und Körperschaft]

Model checking - [3. print.]

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
Clarke, Edmund M. [VerfasserIn]; Grumberg, Orna [VerfasserIn]; Peled, Doron [VerfasserIn]

Model checking - [2. print.]

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
Baier, Christel [VerfasserIn]; Katoen, Joost-Pieter [VerfasserIn]

Principles of model checking

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
Clarke, Edmund M. [VerfasserIn]; Grumberg, Orna [VerfasserIn]; Peled, Doron [VerfasserIn]

Model checking

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
Groce, Alex [HerausgeberIn]; Musuvathi, Madanlal [Sonstige Person, Familie und Körperschaft] ; International SPIN Workshop 18 2011 Snowbird, Utah

Model checking software : 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011 ; proceedings

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

Erschienen in: Lecture notes in computer science ; 6823
Dams, Dennis [Sonstige Person, Familie und Körperschaft]; Dams, Dennis René [HerausgeberIn] ; International SPIN Workshops 5 1999 - 6, 1999, International SPIN Workshop 5 1999 Trient, International SPIN Workshop 6 1999 Toulouse

Theoretical and practical aspects of SPIN model checking : proceedings

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

Erschienen in: Lecture notes in computer science ; 1680
Märcker, Steffen [VerfasserIn] ; Technische Universität Dresden

Model checking techniques for design and analysis of future hardware and software systems

Schließen

Merkliste

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

Dresden, 04. August 2020
Pa︣sa︣reanu, Corina S. [HerausgeberIn] ; International SPIN Workshop 16 2009 Grenoble

Model checking software : 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009 ; proceedings

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

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

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
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]

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
Bošnački, Dragan [HerausgeberIn]; Edelkamp, Stefan [Sonstige Person, Familie und Körperschaft] ; International SPIN Workshop 14 2007 Berlin

Model checking software : 14th International SPIN Workshop, Berlin, Germany, July 1 - 3, 2007 ; proceedings

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 ; 4595
Godefroid, Patrice [HerausgeberIn] ; International SPIN Workshop 12 2005 San Francisco, Calif

Model checking software : 12th International SPIN Workshop, San Francisco, CA, USA, August 22 - 24, 2005 ; proceedings

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

Erschienen in: Lecture notes in computer science ; 3639
Ball, Thomas [HerausgeberIn] ; International SPIN Workshop 10 2003 Portland, Or

Model checking software : 10th International SPIN Workshop, Portland, OR, USA, May 9 - 10, 2003 ; proceedings

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

Erschienen in: Lecture notes in computer science ; 2648
Graf, Susanne [HerausgeberIn] ; International SPIN Workshop 11 2004 Barcelona

Model checking software : 11th International SPIN Workshop, Barcelona, Spain, April 1 - 3, 2004

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

Erschienen in: Lecture notes in computer science ; 2989
Bos̆nac̆ki, Dragan [HerausgeberIn] ; International SPIN Workshop 9 2002 Grenoble

Model checking software : proceedings

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

Erschienen in: Lecture notes in computer science ; 2318

Sie haben das Gesuchte nicht gefunden?

Kauftipp
Sie vermissen etwas, was Sie für Ihre Forschungszwecke benötigen? Geben Sie uns hier einen Kauf-Tipp.

Fernleihe
Recherchieren und bestellen Sie Ihren gewünschten Titel im Rechercheportal der Fernleihe.

Nur in Feld suchen:

Zuletzt gesuchte Begriffe:

Sie haben das Gesuchte nicht gefunden?

> Erscheinungsjahr

Erscheinungsjahr