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
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
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
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
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
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
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
Takashi Tomita, Shigeki Hagihara, Naoki Yonezaki: A Probabilistic Temporal Logic with Frequency Operators and Its Model Checking. ... 79-93