Your search returned 3 results.

Not what you expected? Check for suggestions
1.
Model checking software : 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002 : proceedings / Dragan Bošnački, Stefan Leue [eds.].

by International SPIN Workshop (9th : 2002 : Grenoble, France) | Bošnački, Dragan, 1963- | Leue, Stefan.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2002Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
2.
Model checking software : 14th International Spin Workshop, Berlin, Germany, July 1-3, 2007 : proceedings / Dragan Bošnački, Stefan Edelkamp (eds.).

by International SPIN Workshop (14th : 2007 : Berlin, Germany) | Bošnački, Dragan, 1963- | Edelkamp, Stefan | CAV (Conference) (19th : 2007 : Berlin, Germany).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Other title: SPIN 2007.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
3.
Model checking software : 23rd International Symposium, SPIN 2016, co-located with ETAPS 2016, Eindhoven, the Netherlands, April 7-8, 2016, Proceedings / Dragan Bošnački, Anton Wijs (eds.).

by International SPIN Workshop (23rd : 2016 : Eindhoven, Netherlands) | Bošnački, Dragan, 1963- [editor.] | Wijs, Anton [editor.] | ETAPS (Conference) (19th : 2016 : Eindhoven, Netherlands).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Switzerland : Springer, 2016Other title: SPIN 2016.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .

Powered by Koha