Jaco van der Pol profile picture

Jaco van der Pol

Is this your author profile? Create an account to customize it!

Stand Alone

Model Checking Software 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings
Jaco van der Pol — Books & Biography | Menrva Books | MenrvaBooks