Theoretical and practical aspects of SPIN model checking : 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999 : proceedings
Dennis Dams ... [et al.] (eds.)
Bok Engelsk 1999 International SPIN Workshop
| Utgitt | Berlin : Springer , c1999
|
|---|---|
| Omfang | X, 276 s. : ill.
|
| Emner | |
| Dewey | |
| ISBN | 3540664998
|
