EPTCS 10 - INFINITY 2009

- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-0911-3440
- ask others
Axel Legay (Ed.): Proceedings International Workshop on Verification of Infinite-State Systems. 2009 EPTCS 10 [ contents ]
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-0911-3405
- ask others
Florent Bouchy, Alain Finkel, Pierluigi San Pietro: Dense-choice Counter Machines revisited. ... 3-22
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-0911-3283
- ask others
Christophe Morvan: On external presentations of infinite graphs. ... 23-35
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-0911-3277
- ask others
Bahareh Badban, Stefan Leue, Jan-Georg Smaus: Automated Predicate Abstraction for Real-Time Models. ... 36-43
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-0911-3276
- ask others
Laurent Fribourg, Étienne André: An Inverse Method for Policy-Iteration Based Algorithms. ... 44-61
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-0911-3275
- ask others
Nguyen Van Tang: A Tighter Bound for the Determinization of Visibly Pushdown Automata. ... 62-76