Skip to content

NovaLib

Sample Page
library

NovaLib

Sample Page

Library / Author / Dragan Bošnački

Books by author

Dragan Bošnački

Model Checking Software: 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings

Model Checking Software: 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings

2016 · ENGLISH · PDF

View details →

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

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

2002 · ENGLISH · PDF

View details →

Model Checking Software: 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007. Proceedings

Model Checking Software: 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007. Proceedings

2007 · ENGLISH · PDF

View details →

SPIN Model Checking and Software Verification: 7th International SPIN Workshop, Stanford, CA, USA, August 30 - September 1, 2000. Proceedings

SPIN Model Checking and Software Verification: 7th International SPIN Workshop, Stanford, CA, USA, August 30 - September 1, 2000. Proceedings

2000 · ENGLISH · PDF

View details →

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

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

2002 · ENGLISH · PDF

View details →

Copyright © 2026 NovaLib | Powered by Astra WordPress Theme