Konferenzschrift | Kongress

Model checking software : 20th international symposium ; proceedings

Standort
Deutsche Nationalbibliothek Frankfurt am Main
ISBN
9783642391750
3642391753
Maße
24 cm
Umfang
X, 375 S.
Sprache
Englisch
Anmerkungen
graph. Darst.
Literaturangaben

Erschienen in
Lecture notes in computer science ; 7976

Schlagwort
Model Checking

Ereignis
Veröffentlichung
(wo)
Heidelberg, Dordrecht, London, New York, NY, Berlin
(wer)
Springer
(wann)
2013
Beteiligte Personen und Organisationen
Bartocci, Ezio
Ramakrishnan, C. R.
SPIN (20 : 2013 : Stony Brook, NY)

Inhaltsverzeichnis
Rechteinformation
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
Letzte Aktualisierung
11.06.2025, 13:54 MESZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.

Objekttyp

  • Konferenzschrift
  • Kongress

Beteiligte

  • Bartocci, Ezio
  • Ramakrishnan, C. R.
  • SPIN (20 : 2013 : Stony Brook, NY)
  • Springer

Entstanden

  • 2013

Ähnliche Objekte (12)