I agree that this site is using cookies. You can find further informations here.
X
Merkliste 
 1 Ergebnisse 
 
1

SPIN Model Checking and Software Verification 

7th International SPIN Workshop, Stanford, CA, USA, August ...  Lecture Notes in Computer Science ; 1885
Havelund, Klaus ; Penix, John ; Visser, Willem , 2000
Link: https://doi.org/10.1007/10722468