Research Catalog

Model checking software [electronic resource] : 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004 : proceedings / Susanne Graf, Laurent Mounier (eds.).

Title
Model checking software [electronic resource] : 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004 : proceedings / Susanne Graf, Laurent Mounier (eds.).
Author
International SPIN Workshop (11th : 2004 : Barcelona, Spain)

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
Request for On-site UseRequest Scan
How do I pick up this item and when will it be ready?
TextUse in library QA76.76.V47 I58 2004Off-site

Details

Additional Authors
  • Graf, Susanne.
  • Mounier, Laurent.
Description
x, 307 p. : ill.; 24 cm.
Series Statement
Lecture notes in computer science ; 2989
Subject
Computer software > Verification > Congresses
ISBN
3540213147
Owning Institutions
Columbia University Libraries