Author

Jaco van de Pol MichaelWeber (Eds.)

Catalogue records by Jaco van de Pol MichaelWeber (Eds.) in the PakCat Union Catalogue.

2 catalogue records

Catalogue records

Akbar (E Jaco van de Pol MichaelWeber (Eds.) Year not listed Model Checking Software: 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings Jaco van de Pol MichaelWeber (Eds.) 2010