36 results · clear filters Sort: newest oldest name

1. Computer Aided Verification (CAV 1999, CAV)
   1999-07-06/10 · Trento, Italy
   Computer and information sciences
   e10194b
2. Computer Aided Verification (CAV 1998, CAV)
   1998-06-28 to 1998-07-02 · Vancouver, Canada
   Computer and information sciences
   e10193d
3. Computer Aided Verification (CAV 1997, CAV)
   1997-06-22/25 · Haifa, Israel
   Computer and information sciences
   e10192f
4. Computer Aided Verification (CAV 1996, CAV)
   1996-07-31 to 1996-08-03 · New Brunswick, United States
   Computer and information sciences
   e10191h
5. Computer Aided Verification (CAV 1995, CAV)
   1995-06-03/05 · Liège, Belgium
   Computer and information sciences
   e10190k
6. Computer Aided Verification (CAV 1994, CAV)
   1994-06-21/23 · Stanford University, United States
   Computer and information sciences
   e1018zn
7. Computer Aided Verification (CAV 1993, CAV)
   1993-06-28 to 1993-07-01 · Elounda, Greece
   Computer and information sciences
   e1018yq
8. Computer Aided Verification (CAV 1992, CAV)
   1992-06-29 to 1992-07-01 · Montreal, Canada
   Computer and information sciences
   e1018xs
9. Computer Aided Verification (CAV 1991, CAV)
   1991-07-01/04 · Aalborg, Denmark
   Computer and information sciences
   e1018wv
10. Computer Aided Verification (CAV 1990, CAV)
    1990-06-18/21 · New Brunswick, United States
    Computer and information sciences
    e1018vx
11. Verification Methods for Finite State Systems (CAV 1989, CAV)
    1989-06-12/14 · Grenoble, France
    Computer and information sciences
    e1018tz

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