Betaconfref labs: services in development; they can change or be unavailable. The project site is www.confref.org.
confreflabs
Menu

Search Beta

Series and events of the confref identifiers. Look up an identifier (dblp key, Wikidata, GND, DOI of the proceedings) through the API.

12 results · clear filters Sort: newest oldest name

  1. International SPIN Symposium on Model Checking of Software (SPIN)
    series, 36 events, 1995 to 2025
    Computer and information sciences
    s10ams3
  2. International SPIN Symposium on Model Checking of Software (SPIN 2009, SPIN)
    2009-06-26/28 · Grenoble, France
    Computer and information sciences
    e1081ha
  3. International SPIN Symposium on Model Checking of Software (SPIN 2008, SPIN)
    2008-08-10/12 · Los Angeles, United States
    Computer and information sciences
    e1081gc
  4. International SPIN Symposium on Model Checking of Software (SPIN 2007, SPIN)
    2007-07-01/03 · Berlin, Germany
    Computer and information sciences
    e1081ff
  5. International SPIN Symposium on Model Checking of Software (SPIN 2006, SPIN)
    2006-03-30 to 2006-04-01 · Vienna, Austria
    Computer and information sciences
    e1081eh
  6. International SPIN Symposium on Model Checking of Software (SPIN 2005, SPIN)
    2005-08-22/24 · San Francisco, United States
    Computer and information sciences
    e1081dk
  7. Proceedings of the Third Workshop on Model Checking and Artificial Intelligence, MoChArt@CONCUR/SPIN 2005, San Francisco, CA, USA, August 27, 2005
    2005 · San Francisco, United States
    Computer and information sciences
    e11k4tx
  8. International SPIN Symposium on Model Checking of Software (SPIN 2004, SPIN)
    2004-04-01/03 · Barcelona, Spain
    Computer and information sciences
    e1081cn
  9. International SPIN Symposium on Model Checking of Software (SPIN 2003, SPIN)
    2003-05-09/10 · Portland, United States
    Computer and information sciences
    e1081bq
  10. International SPIN Symposium on Model Checking of Software (SPIN 2002, SPIN)
    2002-04-11/13 · Grenoble, France
    Computer and information sciences
    e1081as
  11. International SPIN Symposium on Model Checking of Software (SPIN 2001, SPIN)
    2001-05-19/20 · Toronto, Canada
    Computer and information sciences
    e10819v
  12. International SPIN Symposium on Model Checking of Software (SPIN 2000, SPIN)
    2000-08-30 to 2000-09-01 · Stanford University, United States
    Computer and information sciences
    e10818x

As JSON: https://labs.confref.org/api/search?series=s10ams3&from=2000&to=2009