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
|
