|
1.
|
Theoretical and practical aspects of SPIN model checking : 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999 : proceedings / Dennis Dams [and others] (eds.). by SPIN'99 (1999 : Toulouse, France) | Dams, Dennis | World Congress on Formal Methods in the Development of Computing Systems (1999 : Toulouse, France). Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin ; New York : Springer, ©1999Other title: SPIN'99, theoretical and practical aspects of SPIN model checking.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
2.
|
|
|
3.
|
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; Format:
available online
; 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 .
|
|
4.
|
Model checking software : 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004 : proceedings / Susanne Graf, Laurent Mounier, eds. by International SPIN Workshop (11th : 2004 : Barcelona, Spain) | Graf, Susanne | Mounier, Laurent. Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin ; New York : Springer, ©2004Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
5.
|
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; Format:
available online
; 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 .
|
|
6.
|
|
|
7.
|
|
|
8.
|
Model checking software : 15th International Spin Workshop, Los Angeles, CA, USA, August 10-12, 2008 : proceedings / Klaus Havelund, Rupak Majumdar, Jens Palsberg (eds.). by International SPIN Workshop (15th : 2008 : Los Angeles, Calif.) | Havelund, Klaus, 1955- | Majumdar, Rupak | Palsberg, Jens. Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin ; New York : Springer, 2008Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
9.
|
SPIN model checking and software verification : 7th International SPIN Workshop, Stanford, CA, USA, August 30-September 1, 2000 : proceedings / Klaus Havelund, John Penix, Willem Visser (eds.). by International SPIN Workshop (7th : 2000 : Stanford, Calif.) | Havelund, Klaus, 1955- | Penix, John, 1970- | Visser, Willem, 1968-. Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin ; New York : Springer, 2000Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
10.
|
|
|
11.
|
Model checking software : 17th International SPIN Workshop, Enschede, the Netherlands, September 27-29, 2010, Proceedings / Jaco van de Pol, Michael Weber (Eds.). by International SPIN Workshop (17th : 2010 Enschede, Netherlands) | Pol, Jaco van de | Weber, Michael (Michael F.). Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin ; Heidelberg : Springer, ©2010Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
12.
|
Model checking software : 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011 : proceedings / Alex Groce, Madanlal Musuvathi (eds.). by International SPIN Workshop (18th : 2011 : Snowbird, Utah) | Groce, Alex | Musuvathi, Madanlal. Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Heidelberg : Springer, 2011Other title: International SPIN Workshop | SPIN 2011.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
13.
|
Model checking software : 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings / Alastair Donaldson, David Parker (eds.). by International SPIN Workshop (19th : 2012 : Oxford, England) | Donaldson, Alastair | Parker, David, 1941 October 18-. Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin ; New York : Springer, ©2012Other title: SPIN 2012.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
14.
|
Model checking software : 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings / Ezio Bartocci, C.R. Ramakrishnan (eds.). by International SPIN Workshop (20th : 2013 : Stony Brook, N.Y.) | Bartocci, Ezio (Computer scientist) [editor.] | Ramakrishnan, C. R [editor.]. Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin ; New York : Springer, ©2013Other title: SPIN 2013.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
15.
|
Model checking software : 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings / Bernd Fischer, Jaco Geldenhuys (eds.). by International SPIN Workshop (22nd : 2015 : Stellenbosch, South Africa) | Fischer, Bernd [editor.] | Geldenhuys, Jaco [editor.]. Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham : Springer, 2015Other title: SPIN 2015.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
16.
|
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; Format:
available online
; 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 .
|
|
17.
|
Model checking software : 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings / María del Mar Gallardo, Pedro Merino (eds.). by International SPIN Workshop (25th : 2018 : Málaga, Spain) | Gallardo, María del Mar [editor.] | Merino, Pedro [editor.]. Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham, Switzerland : Springer, 2018Other title: SPIN 2018.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
18.
|
Model checking software : 26th International Symposium, SPIN 2019, Beijing, China, July 15-16, 2019, Proceedings / Fabrizio Biondi, Thomas Given-Wilson, Axel Legay (eds.). by International SPIN Workshop (26th : 2019 : Beijing, China) | Biondi, Fabrizio [editor.] | Given-Wilson, Thomas [editor.] | Legay, Axel [editor.]. Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham, Switzerland : Springer, 2019Other title: SPIN 2019.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|