Jump to main content

yr 〜
yr

Search results 21

Model checking software : 22nd international symposium, SPIN 2015 : Stellenbosch, South Africa, August 24-26, 2015 : proceedings : Aug 2015, Stellenbosch, South Africa. (Lecture Notes in Computer Science ; 9232)

Model checking software : 22nd international symposium, SPIN 2015 : Stellenbosch, South Africa, August 24-26, 2015 : proceedings : Aug 2015, Stellenbosch, South Africa. (Lecture Notes in Computer Science ; 9232)
Paper図書
Springer[2015]<M17-16-521>
National Diet Library

Model checking software : 20th international symposium, SPIN 2013 : Stony Brook, NY, USA, July 8-9, 2013 : proceedings : SPIN workshop : Jul 2013, Stony Brook, NY. (Lecture Notes in Computer Science ; 7976)

Model checking software : 20th international symposium, SPIN 2013 : Stony Brook, NY, USA, July 8-9, 2013 : proceedings : SPIN workshop : Jul 2013, Stony Brook, NY. (Lecture Notes in Computer Science ; 7976)
Paper図書
Springerc2013.<M17-14-557>
National Diet Library

Model checking software : 18th international SPIN workshop : Snowbird, UT, USA, July 14-15, 2011 : proceedings : Jul 2011, Snowbird, UT. (Lecture Notes in Computer Science ; 6823)

Model checking software : 18th international SPIN workshop : Snowbird, UT, USA, July 14-15, 2011 : proceedings : Jul 2011, Snowbird, UT. (Lecture Notes in Computer Science ; 6823)
Paper図書
Springerc2011.<M17-12-56>
National Diet Library

Model checking software : 17th international SPIN workshop : Enschede, the Netherlands, September 27-29, 2010 : proceedings. : Sep 2010, Enschede, the Netherlands. (Lecture Notes in Computer Science ; 6349)

Model checking software : 17th international SPIN workshop : Enschede, the Netherlands, September 27-29, 2010 : proceedings. : Sep 2010, Enschede, the Netherlands. (Lecture Notes in Computer Science ; 6349)
Paper図書
Springerc2010.<M17-11-258>
National Diet Library

Model checking software : 16th international SPIN workshop : Grenoble, France, June 26-28, 2009 : proceedings. : Jun 2009, Grenoble, France. (Lecture Notes in Computer Science ; 5578)

Model checking software : 16th international SPIN workshop : Grenoble, France, June 26-28, 2009 : proceedings. : Jun 2009, Grenoble, France. (Lecture Notes in Computer Science ; 5578)
Paper図書
Springerc2009.<M17-10-301>
National Diet Library

Model checking software : 15th international SPIN workshop : Los Angeles, CA, USA, August 10-12, 2008 : proceedings. : Aug 2008, Los Angeles, CA. (Lecture Notes in Computer Science ; 5156)

Model checking software : 15th international SPIN workshop : Los Angeles, CA, USA, August 10-12, 2008 : proceedings. : Aug 2008, Los Angeles, CA. (Lecture Notes in Computer Science ; 5156)
Paper図書
Springerc2008.<M17-08-2037>
National Diet Library

Model checking software : 13th international SPIN workshop : Vienna, Austria, March 30-April 1, 2006 : proceedings. : 13th international SPIN workshop on model checking of software : Mar 2006, Vienna, Austria. (Lecture Notes in Computer Science ; 3925)

Model checking software : 13th international SPIN workshop : Vienna, Austria, March 30-April 1, 2006 : proceedings. : 13th international SPIN workshop on model checking of software : Mar 2006, Vienna, Austria. (Lecture Notes in Computer Science ; 3925)
Paper図書
Springerc2006.<M17-06-1496>
National Diet Library

Model checking software : 12th international SPIN workshop : San Francisco, CA, USA, August 22-24, 2005 : proceedings. : Aug 2005, San Francisco, CA. (Lecture Notes in Computer Science ; 3639)

Model checking software : 12th international SPIN workshop : San Francisco, CA, USA, August 22-24, 2005 : proceedings. : Aug 2005, San Francisco, CA. (Lecture Notes in Computer Science ; 3639)
Paper図書
Springerc2005.<M17-06-85>
National Diet Library

Model checking software : 11th international SPIN workshop : Barcelona, Spain, April 1-3, 2004 : proceedings. : Apr 2004, Barcelona, Spain. (Lecture Notes in Computer Science ; 2989)

Model checking software : 11th international SPIN workshop : Barcelona, Spain, April 1-3, 2004 : proceedings. : Apr 2004, Barcelona, Spain. (Lecture Notes in Computer Science ; 2989)
Paper図書
Springerc2004.<M17-04-3045>
National Diet Library

Model checking software : 10th international SPIN workshop : Portland, OR, USA, May 9-10, 2003 : proceedings. : May 2003, Portland, OR. (Lecture Notes in Computer Science ; 2648)

Model checking software : 10th international SPIN workshop : Portland, OR, USA, May 9-10, 2003 : proceedings. : May 2003, Portland, OR. (Lecture Notes in Computer Science ; 2648)
Paper図書
Springerc2003.<M17-04-466>
National Diet Library

Model checking software : 9th international SPIN workshop : Grenoble, France, April 11-13, 2002 : proceedings. : Apr 2002, Grenoble, France. (Lecture Notes in Computer Science ; 2318)

Model checking software : 9th international SPIN workshop : Grenoble, France, April 11-13, 2002 : proceedings. : Apr 2002, Grenoble, France. (Lecture Notes in Computer Science ; 2318)
Paper図書
Springer2002.<M17-03-4210>
National Diet Library

Model checking software : 8th international SPIN workshop : Toronto, Canada, May 19-20, 2001 : proceedings. : May 2001, Toronto, Canada. (Lecture Notes in Computer Science ; 2057)

Model checking software : 8th international SPIN workshop : Toronto, Canada, May 19-20, 2001 : proceedings. : May 2001, Toronto, Canada. (Lecture Notes in Computer Science ; 2057)
Paper図書
Springer2001.<M17-03-4699>
National Diet Library

Principles of the SPIN model checker

Principles of the SPIN model checker
Paper図書
Mordechai Ben-AriSpringerc2008
Other Libraries in Japan

Model checking software : 27th International Symposium, SPIN 2021, virtual event, July 12, 2021 : proceedings

Model checking software : 27th International Symposium, SPIN 2021, virtual event, July 12, 2021 : proceedings
Paper図書
Alfons Laarman, Ana Sokolova (eds.)Springerc2021
Other Libraries in Japan

Model checking software : 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018 : proceedings

Model checking software : 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018 : proceedings
Paper図書
María del Mar Gallardo, Pedro Merino (eds.)Springerc2018
Other Libraries in Japan

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

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
Paper図書
Dennis Dams ... [et al.], (eds.)Springerc1999
Other Libraries in Japan
  • Subject Heading... -- Congresses SPIN (...Computer file...) Automatic theorem proving Ver...
  • Subject Heading (ID)... -- Congresses SPIN (...Computer file...) Automatic theorem proving Ver...

Model checking software : 10th International SPIN Workshop, Portland, OR, USA, May 9-10, 2003 : proceedings

Model checking software : 10th International SPIN Workshop, Portland, OR, USA, May 9-10, 2003 : proceedings
Paper図書
Thomas Ball, Sriram K. Rajamani (eds.)Springerc2003
Other Libraries in Japan

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
Paper図書
Dragan Bošnački, Stefan Leue (eds.)Springerc2002
Other Libraries in Japan

Model checking software : 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 : proceedings

Model checking software : 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 : proceedings
Paper図書
Matthew Dwyer (ed.)Springerc2001
Other Libraries in Japan

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
Paper図書
Klaus Havelund, John Penix, Willem Visser (eds.)Springerc2000
Other Libraries in Japan
RSS