|
1. |
|
Theoretical and Practical Aspects of SPIN Model Checking
Dennis Dams, Robert Gerth, Stefan Leue, Mieke Massinek
E-bok. Springer Berlin Heidelberg, Tyskland, 2003.
|
|
2. |
|
Theoretical and Practical Aspects of SPIN Model Checking
Dennis Dams, Robert Gerth, Stefan Leue, Mieke Massinek
Häftad. Springer-Verlag Berlin and Heidelberg GmbH & Co. K, Tyskland, 1999.
|
|
|
|