Model checking software : 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004 : proceedings /
This book constitutes the refereed proceedings of the 11th International SPIN workshop on Model Checking Software, SPIN 2004, held in Barcelona, Spain, in April 2004. The 19 revised full papers presented together with the abstracts of an invited talk and 2 tutorials were carefully reviewed and selec...
Corporate Author: | |
---|---|
Other Authors: | , |
Format: | Conference Proceeding Book |
Language: | English |
Published: |
Berlin ; Hong Kong :
Springer-Verlag,
[2004], ©2004
Berlin ; New York : Springer, c2004 Berlin ; New York : ©2004 |
Series: | Lecture notes in computer science ;
2989 Lecture notes in computer science ; 2989 Lecture notes in computer science 2989 |
Subjects: |
Internet
Stanford University
Call Number: |
QA76.76 .V47 I58 2004 |
---|
Massachusetts Institute of Technology
Call Number: |
QA76.76.V47.I58 2004 |
---|
Johns Hopkins University
Call Number: |
QA76.76.V47 I58 2004 |
---|
Cornell University
Call Number: |
QA76.76.V47 I58 2004 |
---|
Columbia University
Call Number: |
QA76.76.V47 I58 2004 |
---|
Brown University
Call Number: |
QA76.76.V47 I58 2004 |
---|