7 results · clear filters Sort: newest oldest name

1. International Workshop on Verification of Infinite-State Systems (INFINITY) (INFINITY)
   series, 12 events, 1996 to 2013
   Computer and information sciences
   s10cdex
2. Proceedings International Workshop on Verification of Infinite-State Systems, INFINITY 2009, Bologna, Italy, 31th August 2009. (INFINITY)
   2009-01-01 · Bologna, Italy
   Computer and information sciences
   e120ry7
3. Joint Proceedings of the 8th, 9th, and 10th International Workshops on Verification of Infinite-State Systems, INFINITY 2006 / 2007 / 2008, Bonn, Germany, August 26, 2006 / Lisbon, Portugal, September 8, 2007 / Toronto, Canada, August 23, 2008
   2006 · Canada
   Computer and information sciences
   e120kbk
4. Proceedings of the 7th International Workshop on Verification of Infinite-State Systems, INFINITY 2005, San Francisco, CA, USA, August 27, 2005
   2005 · San Francisco, United States
   Computer and information sciences
   e11cmbv
5. Proceedings of the 6th International Workshop on Verification of Infinite-State Systems, INFINITY 2004, London, UK, September 4, 2004
   2004 · London, United Kingdom
   Computer and information sciences
   e11cmax
6. Proceedings of INFINITY 2003, the 5th International Workshop on Verification of Infinite-State Systems, a satellite workshop of CONCUR 2003, Marseille, France, September 2, 2003
   2003 · France
   Computer and information sciences
   e120qf7
7. 4th International Workshop on Verification of Infinite-State Systems (CONCUR 2002 Satellite Workshop), Infinity 2002, Brno, Czech Republic, August 24, 2002
   2002 · Brno, Czech Republic
   Computer and information sciences
   e11cm9z

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