Model checking software : 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004 : proceedings
Susanne Graf, Laurent Mounier (eds.)
Bok Engelsk 2004 International SPIN Workshop
Utgitt | Berlin : Springer , c2004
|
---|---|
Omfang | X, 307 s. : ill.
|
Emner | |
ISBN | 3540213147
|