Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

International Workshop on Verification of Infinite-State Systems (INFINITY)

> Home > Conferences and Workshops

Venue statistics

records by year

document access Please note:
▪ This facet is still work in progress.
▪ Open access information for publications is still rather incomplete.

frequent authors

15th INFINITY 2013: Hanoi, Vietnam

- view
  authority control:
- export record
  dblp key:
  - journals/corr/HolikC14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/HolikC14
Lukás Holík, Lorenzo Clemente:
Proceedings 15th International Workshop on Verification of Infinite-State Systems, INFINITY 2013, Hanoi, Vietnam, 14th October 2013. EPTCS 140, 2014 [contents]

14th INFINITY 2012: Paris, France

- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1302-3105
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1302-3105
Mohamed Faouzi Atig, Ahmed Rezine:
Proceedings 14th International Workshop on Verification of Infinite-State Systems, Infinity 2012, Paris, France, 27th August 2012. EPTCS 107, 2012 [contents]

13th INFINITY 2011: Taipei, Taiwan

- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1111-2678
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1111-2678
Fang Yu, Chao Wang:
Proceedings 13th International Workshop on Verification of Infinite-State Systems, INFINITY 2011, Taipei, Taiwan, 10th October 2011. EPTCS 73, 2011 [contents]

12th INFINITY 2010: Singapore, Singapore

- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1010-6112
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1010-6112
Yu-Fang Chen, Ahmed Rezine:
Proceedings 12th International Workshop on Verification of Infinite-State Systems, INFINITY 2010, Singapore, Singapore, 21st September 2010. EPTCS 39, 2010 [contents]

11th INFINITY 2009: Bologna, Italy

- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-0911-3440
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0911-3440
Axel Legay:
Proceedings International Workshop on Verification of Infinite-State Systems, INFINITY 2009, Bologna, Italy, 31th August 2009. EPTCS 10, 2009 [contents]

8th INFINITY 2006: Bonn, Germany
9th INFINITY 2007: Lisbon, Portugal
10th INFINITY 2008: Toronto, ON, Canada

- view
- export record
  dblp key:
  - conf/infinity/2006-07-08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/infinity/2006-07-08
Peter Habermehl, Tomás Vojnar:
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. Electronic Notes in Theoretical Computer Science 239, Elsevier 2009 [contents]

7th INFINITY 2005: San Francisco, CA, USA

- view
- export record
  dblp key:
  - conf/infinity/2005
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/infinity/2005
Jirí Srba, Scott A. Smolka:
Proceedings of the 7th International Workshop on Verification of Infinite-State Systems, INFINITY 2005, San Francisco, CA, USA, August 27, 2005. Electronic Notes in Theoretical Computer Science 149(1), Elsevier 2006 [contents]

6th INFINITY 2004: London, UK

- view
- export record
  dblp key:
  - conf/infinity/2004
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/infinity/2004
Julian C. Bradfield, Faron Moller:
Proceedings of the 6th International Workshop on Verification of Infinite-State Systems, INFINITY 2004, London, UK, September 4, 2004. Electronic Notes in Theoretical Computer Science 138(3), Elsevier 2005 [contents]

5th INFINITY 2003: Marseille, France

- view
- export record
  dblp key:
  - conf/infinity/2003
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/infinity/2003
Philippe Schnoebelen:
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. Electronic Notes in Theoretical Computer Science 98, Elsevier 2004 [contents]

4th INFINITY 2002: Brno, Czech Republic

- view
- export record
  dblp key:
  - conf/infinity/2002
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/infinity/2002
Antonín Kucera, Richard Mayr:
4th International Workshop on Verification of Infinite-State Systems (CONCUR 2002 Satellite Workshop), Infinity 2002, Brno, Czech Republic, August 24, 2002. Electronic Notes in Theoretical Computer Science 68(6), Elsevier 2003 [contents]

2nd INFINITY 1997: Bologna, Italy

- view
- export record
  dblp key:
  - conf/infinity/1997
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/infinity/1997
Faron Moller:
Second International Workshop on Verification of Infinite State Systems, Infinity 1997, Bologna, Italy, July 11-12, 1997. Electronic Notes in Theoretical Computer Science 9, Elsevier 1997 [contents]

1st INFINITY 1996: Pisa, Italy

- view
- export record
  dblp key:
  - conf/infinity/1996
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/infinity/1996
Bernhard Steffen, Didier Caucal:
First International Workshop on Verification of Infinite State Systems, Infinity 1996, Università di Pisa, Pisa, Italy, August 30-31, 1996. Electronic Notes in Theoretical Computer Science 5, Elsevier 1997 [contents]

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.