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
(Lecture notes in computer science, 2989)
Springer, c2004
- pbk.
Available at / 22 libraries
-
Library, Research Institute for Mathematical Sciences, Kyoto University数研
pbk.L/N||LNCS||298904000481
-
No Libraries matched.
- Remove all filters.
Note
Internat. conference proceedings