Non abbiamo ancora una biografia di Robert Gerth.
Pubblicato in Inglese
Theoretical and Practical Aspects of SPIN Model Checking
