*Search Results* - Model checking software

sublabel_Solr

1
2
*Next*
[2]

Model checking software : proceedings

Dwyer, Matthew (Herausgeber)

Berlin : Springer, 2001

*book*

Model checking software : proceedings

Bošnački, Dragan (Herausgeber)

Berlin : Springer, 2002

*book*

Model checking software : proceedings

Ball, Thomas (Herausgeber)

Berlin : Springer, 2003

*book*

Model Checking Software : 10th International SPIN Workshop Portland, OR, USA, May 9–10, 2003 Proceedings

Ball, Thomas (Verfasser)

Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2003

*eBook*

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

Bošnački, Dragan (Verfasser)

Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2002

*eBook*

Model Checking Software : 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004. Proceedings

Graf, Susanne (Verfasser)

Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2004

*eBook*

Model Checking Software : 8th International SPIN Workshop Toronto, Canada, May 19–20, 2001 Proceedings

Dwyer, Matthew (Verfasser)

Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2001

*eBook*

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

Bosnacki, Dragan (Herausgeber)

1st ed. 2007

Berlin, Heidelberg : Springer Berlin Heidelberg, 2007

*eBook*

Model Checking Software : 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings

Valmari, Antti (Herausgeber)

1st ed. 2006

Berlin, Heidelberg : Springer Berlin Heidelberg, 2006

*eBook*

Model Checking Software : 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings

Godefroid, Patrick (Herausgeber)

1st ed. 2005

Berlin, Heidelberg : Springer Berlin Heidelberg, 2005

*eBook*

Model Checking Software : 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings

Havelund, Klaus (Herausgeber)

1st ed. 2008

Berlin, Heidelberg : Springer Berlin Heidelberg, 2008

*eBook*

Model Checking Software : 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009, Proceedings

Pasareanu, Corina S (Herausgeber)

1st ed. 2009

Berlin, Heidelberg : Springer Berlin Heidelberg, 2009

*eBook*

Model Checking Software : 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings

van der Pol, Jaco (Herausgeber)

1st ed. 2010

Berlin, Heidelberg : Springer Berlin Heidelberg, 2010

*eBook*

Model Checking Software : 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011, Proceedings

Groce, Alex (Herausgeber)

1st ed. 2011

Berlin, Heidelberg : Springer Berlin Heidelberg, 2011

*eBook*

Model Checking Software : 19th International SPIN Workshop, Oxford, UK, July 23-24, 2012. Proceedings

Donaldson, Alastair (Herausgeber)

1st ed. 2012

Berlin, Heidelberg : Springer Berlin Heidelberg, 2012

*eBook*

Model Checking Software : 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings

Bartocci, Ezio (Herausgeber)

1st ed. 2013

Berlin, Heidelberg : Springer Berlin Heidelberg, 2013

*eBook*

Model Checking Software : 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings

Fischer, Bernd (Herausgeber)

1st ed. 2015

Cham : Springer International Publishing, 2015

*eBook*

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

Bošnački, Dragan (Herausgeber)

1st ed. 2016

Cham : Springer International Publishing, 2016

*eBook*

Model Checking Software : 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings

Gallardo, María del Mar (Herausgeber)

1st ed. 2018

Cham : Springer International Publishing, 2018

*eBook*

Model Checking Software : 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings

Biondi, Fabrizio (Herausgeber)

1st ed. 2019

Cham : Springer International Publishing, 2019

*eBook*

1
2
*Next*
[2]

*sublabel_Solr*

*Showing* 1 - 20 *of* 24

*pagination*

*pagination*

*Narrow Search*

sublabel_Solr

Showing 1 - 20 of 24

pagination

pagination

Narrow Search