home
news
Statistics
browse
conferences
journals
series
search
author
CompleteSearch
Faceted Search @ L3S
Free Search @ isearch
about
f.a.q.
team
legal bits
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
Google
Google Scholar
MS Academic Search
PubZone
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
Google
Google Scholar
MS Academic Search
PubZone
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
Google
Google Scholar
MS Academic Search
PubZone
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
Google
Google Scholar
MS Academic Search
PubZone
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
Google
Google Scholar
MS Academic Search
PubZone
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
Google
Google Scholar
MS Academic Search
PubZone
Nguyen Van Tang
:
A Tighter Bound for the Determinization of Visibly Pushdown Automata.
... 62-76