Model checking software : 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002 : proceedings
Dragan Bošnački, Stefan Leue (eds.)
Bok Engelsk 2002 International SPIN Workshop
| Utgitt | Berlin : Springer , c2002
|
|---|---|
| Omfang | X, 257 s. : ill.
|
| Emner | |
| Dewey | |
| ISBN | 3540434771
|
