Theoretical and Practical Aspects of SPIN Model Checking
de Dennis Dams, Robert Gerth, Stefan Leue, Mieke Massinek
Ediciones (1)
- Theoretical and Practical Aspects of SPIN Model Checking (2003)
Springer London, Limited · inglés · ISBN 9783540482345
de Dennis Dams, Robert Gerth, Stefan Leue, Mieke Massinek
Springer London, Limited · inglés · ISBN 9783540482345
