Konferenzschrift | Kongress

Model checking software : proceedings

to connected objects

Location
Deutsche Nationalbibliothek Frankfurt am Main
ISBN
9783540434771
3540434771
Dimensions
24 cm
Extent
X, 257 S.
Language
Englisch
Notes
graph. Darst.
Literaturangaben

Bibliographic citation
Lecture notes in computer science ; Vol. 2318

Keyword
Model Checking
Programmverifikation
Model Checking

Event
Veröffentlichung
(where)
Berlin, Heidelberg, New York, Barcelona, Hong Kong, London, Milan, Paris, Tokyo
(who)
Springer
(when)
2002
Contributor
Bošnački, Dragan
International SPIN Workshop (9 : 2002 : Grenoble)

Table of contents
Rights
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
Last update
11.03.2025, 12:35 PM CET

Data provider

This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.

Object type

  • Konferenzschrift
  • Kongress

Associated

  • Bošnački, Dragan
  • International SPIN Workshop (9 : 2002 : Grenoble)
  • Springer

Time of origin

  • 2002

Other Objects (12)

Model checking software : proceedings

Konferenzschrift | Kongress

Model checking software : proceedings

Model checking software : proceedings

Konferenzschrift | Kongress

Model checking software : proceedings

Model checking software : proceedings

Konferenzschrift | Kongress

Model checking software : proceedings

Model checking software : proceedings

Konferenzschrift | Kongress

Model checking software : proceedings

Model checking software : proceedings

Konferenzschrift | Kongress

Model checking software : proceedings

Model checking software : proceedings

Konferenzschrift | Kongress

Model checking software : proceedings

Model checking software : proceedings

Konferenzschrift | Kongress

Model checking software : proceedings

Model checking software : 20th international symposium ; proceedings

Konferenzschrift | Kongress

Model checking software : 20th international symposium ; proceedings

SPIN model checking and software verification ; proceedings

Konferenzschrift | Kongress

SPIN model checking and software verification ; proceedings

Model checking software : 19th international workshop ; proceedings

Konferenzschrift | Kongress

Model checking software : 19th international workshop ; proceedings

Theoretical and practical aspects of SPIN model checking : proceedings

Konferenzschrift | Kongress

Theoretical and practical aspects of SPIN model checking : proceedings

Verification, model checking, and abstract interpretation : 4th international conference ; proceedings

Konferenzschrift | Kongress

Verification, model checking, and abstract interpretation : 4th international conference ; proceedings

Related objects