Top 861 spin watch PDF Book Page 35

book image

Model Checking Software: 9th International SPIN Workshop Grenoble, France, April 11–13, 2002 Proceedings

Edmund M. Clarke (auth.), Dragan Bošnački, Stefan Leue (eds.)
·268 Pages
·2002
·3.463 MB