Books
2004
11th International SPIN Workshop on Model Checking of Software, 2004
. Susanne Graf, Laurent Mounier (eds.), Lecture Notes in Computer Science, 2004. (
more
)
download