home
news
Statistics
browse
conferences
journals
series
search
author
CompleteSearch
Faceted Search @ L3S
Free Search @ isearch
about
f.a.q.
team
legal bits
EPTCS
73 - INFINITY 2011
view
table of contents in DBLP
electronic edition via DOI
export record as
BibTeX
XML
dblp key:
journals/corr/abs-1111-2678
ask others
Google
Google Scholar
MS Academic Search
PubZone
Fang Yu
,
Chao Wang
(Eds.):
Proceedings 13th International Workshop on Verification of Infinite-State Systems.
2011
EPTCS
73 [
contents
]
view
table of contents in DBLP
electronic edition via DOI
export record as
BibTeX
XML
dblp key:
journals/corr/abs-1111-3106
ask others
Google
Google Scholar
MS Academic Search
PubZone
Doron Peled
,
Sven Schewe
:
Practical Distributed Control Synthesis.
... 2-17
view
table of contents in DBLP
electronic edition via DOI
export record as
BibTeX
XML
dblp key:
journals/corr/abs-1111-3107
ask others
Google
Google Scholar
MS Academic Search
PubZone
Alex Spelten
,
Wolfgang Thomas
,
Sarah Winter
:
Trees over Infinite Structures and Path Logics with Synchronization.
... 20-34
view
table of contents in DBLP
electronic edition via DOI
export record as
BibTeX
XML
dblp key:
journals/corr/abs-1111-3108
ask others
Google
Google Scholar
MS Academic Search
PubZone
Laurent Fribourg
,
Bertrand Revol
,
Romain Soulat
:
Synthesis of Switching Rules for Ensuring Reachability Properties of Sampled Linear Systems.
... 35-48
view
table of contents in DBLP
electronic edition via DOI
export record as
BibTeX
XML
dblp key:
journals/corr/abs-1111-3109
ask others
Google
Google Scholar
MS Academic Search
PubZone
Alberto Ciaffaglione
:
A coinductive semantics of the Unlimited Register Machine.
... 49-63
view
table of contents in DBLP
electronic edition via DOI
export record as
BibTeX
XML
dblp key:
journals/corr/abs-1111-3110
ask others
Google
Google Scholar
MS Academic Search
PubZone
Christian Krause
,
Holger Giese
:
Model Checking Probabilistic Real-Time Properties for Service-Oriented Systems with Service Level Agreements.
... 64-78
view
table of contents in DBLP
electronic edition via DOI
export record as
BibTeX
XML
dblp key:
journals/corr/abs-1111-3111
ask others
Google
Google Scholar
MS Academic Search
PubZone
Takashi Tomita
,
Shigeki Hagihara
,
Naoki Yonezaki
:
A Probabilistic Temporal Logic with Frequency Operators and Its Model Checking.
... 79-93