33 results · clear filters Sort: newest oldest name

1. Computer Aided Verification (CAV 1996, CAV)
   1996-07-31 to 1996-08-03 · New Brunswick, United States
   Computer and information sciences
   e10191h
2. Computer Aided Verification (CAV 1995, CAV)
   1995-06-03/05 · Liège, Belgium
   Computer and information sciences
   e10190k
3. Computer Aided Verification (CAV 1994, CAV)
   1994-06-21/23 · Stanford University, United States
   Computer and information sciences
   e1018zn
4. Computer Aided Verification (CAV 1993, CAV)
   1993-06-28 to 1993-07-01 · Elounda, Greece
   Computer and information sciences
   e1018yq
5. Computer Aided Verification (CAV 1992, CAV)
   1992-06-29 to 1992-07-01 · Montreal, Canada
   Computer and information sciences
   e1018xs
6. Computer Aided Verification (CAV 1991, CAV)
   1991-07-01/04 · Aalborg, Denmark
   Computer and information sciences
   e1018wv
7. Computer Aided Verification (CAV 1990, CAV)
   1990-06-18/21 · New Brunswick, United States
   Computer and information sciences
   e1018vx
8. 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?discipline=Q21198&series=s109b7k&page=2