Filteren
Sorteren
2 resultaten
paperbackEngels9783540281955
9-8-2005
This volume contains the proceedings of the 12th International SPIN Wo- shop on Model Checking of Software, held in San Francisco, USA, on August 22–24,2005. Meer
paperbackEngels9783540607618
24-1-1996
This monograph is a revised version of the author's Ph.D. thesis, submitted to the University of Liège, Belgium, with Pierre Wolper as thesis advisor. Meer