search
search
reviewers
reviewers
feeds
feeds
assignments
assignments

settings
logout

INFINITY

Keyphrases

Publications

volume 140, 2014

Proceedings 15th International Workshop on Verification of Infinite-State Systems, INFINITY 2013, Hanoi, Vietnam, 14th October 2013. INFINITY 140 (2014)

2013

2011

volume 73, 2011

Proceedings 13th International Workshop on Verification of Infinite-State Systems, INFINITY 2011, Taipei, Taiwan, 10th October 2011. INFINITY 73 (2011)

2010

volume 39, 2010

Proceedings 12th International Workshop on Verification of Infinite-State Systems, INFINITY 2010, Singapore, Singapore, 21st September 2010. INFINITY 39 (2010)

2009

volume 239, 2009

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 INFINITY 239 (2009)

volume 10, 2009

Proceedings International Workshop on Verification of Infinite-State Systems, INFINITY 2009, Bologna, Italy, 31th August 2009. INFINITY 10 (2009)

volume 149, number 1, 2006

Proceedings of the 7th International Workshop on Verification of Infinite-State Systems, INFINITY 2005, San Francisco, CA, USA, August 27, 2005 INFINITY 149 (1) (2006)

2005

volume 138, number 3, 2005

Proceedings of the 6th International Workshop on Verification of Infinite-State Systems, INFINITY 2004, London, UK, September 4, 2004 INFINITY 138 (3) (2005)