Visser, Willem
13  results:
Search for persons X
?
5

SPIN Model Checking and Software Verification 

7th International SPIN Workshop, Stanford, CA, USA, August ...  Lecture Notes in Computer Science ; 1885
 
?
 
1-13