37 results · clear filters Sort: newest oldest name

1. International SPIN Symposium on Model Checking of Software (SPIN 2002, SPIN)
   2002-04-11/13 · Grenoble, France
   Computer and information sciences
   e1081as
2. International SPIN Symposium on Model Checking of Software (SPIN 2001, SPIN)
   2001-05-19/20 · Toronto, Canada
   Computer and information sciences
   e10819v
3. 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
4. International SPIN Workshop on Model Checking of Software (SPIN)
   1999-07-05 · Trento, Italy
   Computer and information sciences
   e10817z
5. International SPIN Symposium on Model Checking of Software (SPIN 1998)
   1998-11-02 · Paris, France
   Computer and information sciences
   e12agq9
6. SPIN Symposium / Workshop (SPIN)
   1998-01-01 · Paris, France
   Computer and information sciences
   e12nwr4
7. International SPIN Symposium on Model Checking of Software (SPIN 1997)
   1997-04-05 · Kingdom of the Netherlands
   Computer and information sciences
   e12agpb
8. SPIN Symposium / Workshop (SPIN)
   1997-01-01 · Kingdom of the Netherlands
   Computer and information sciences
   e12nwq6
9. International SPIN Symposium on Model Checking of Software (SPIN 1996)
   1996-08-05 · New Brunswick, United States
   Computer and information sciences
   e12ag3j
10. SPIN Symposium / Workshop (SPIN)
    1996-01-01 · New Brunswick, Canada
    Computer and information sciences
    e12nwp8
11. International SPIN Symposium on Model Checking of Software (SPIN 1995)
    1995-10-16 · Montreal, Canada
    Computer and information sciences
    e12ag2m
12. SPIN Symposium / Workshop (SPIN)
    1995-01-01 · Montreal, Canada
    Computer and information sciences
    e12nwna

As JSON: https://labs.confref.org/api/search?series=s10ams3&page=2