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

Author(s)

Bibliographic Information

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

Susanne Graf, Laurent Mounier (eds.)

(Lecture notes in computer science, 2989)

Springer, c2004

  • pbk.

Available at  / 22 libraries

Search this Book/Journal

Note

Internat. conference proceedings

Related Books: 1-1 of 1

Details

  • NCID
    BA66755177
  • ISBN
    • 3540213147
  • Country Code
    gw
  • Title Language Code
    eng
  • Text Language Code
    eng
  • Place of Publication
    Berlin ; Tokyo
  • Pages/Volumes
    x, 307 p.
  • Size
    24 cm
  • Parent Bibliography ID
Page Top