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
|