11 results · clear filters Sort: newest oldest name

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

As JSON: https://labs.confref.org/api/search?series=s109b7k&from=1990&to=1999