Research Catalog

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

Title: Model checking software : 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004 : proceedings / Susanne Graf, Laurent Mounier, eds.
Author: International SPIN Workshop (11th : 2004 : Barcelona, Spain)
Publication: Berlin ; New York : Springer, c2004.

Filter by

Item details
Status	Format	Access	Call Number	Item Location
Request for On-site Use Request Scan How do I pick up this item and when will it be ready?	Text	Request in advance	JSE 04-1005	Offsite

Additional Authors

Description

x, 307 p. : ill.; 24 cm.

Series Statement

Lecture notes in computer science ; 2989

Subject

Bibliography (note)

Additional Formats (note)

Call Number

JSE 04-1005

ISBN

3540213147

LCCN

2004102408

OCLC

54936965

Conference

International SPIN Workshop (11th : 2004 : Barcelona, Spain)

Title

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

Imprint

Berlin ; New York : Springer, c2004.

Series

Lecture notes in computer science ; 2989

Bibliography

Includes bibliographical references and index.

Additional Formats

Also issued online.

Connect to:

Restricted to Springer LINK subscribers

Added Author

Graf, Susanne.

Mounier, Laurent.

Research Call Number

JSE 04-1005