EPTCS 54 - GandALF 2011

- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1106-0814
- ask others
Giovanna D'Agostino, Salvatore La Torre (Eds.): Proceedings of Second International Symposium on Games, Automata, Logics and Formal Verification. 2011 EPTCS 54 [ contents ]
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1106-1228
- ask others
Yoad Lustig, Moshe Y. Vardi: Synthesis from Recursive-Components Libraries. ... 1-16
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1106-1229
- ask others
Christian Appold: Improving BDD Based Symbolic Model Checking with Isomorphism Exploiting Transition Relations. ... 17-30
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1106-1230
- ask others
Stefan Haar, Christian Kern, Stefan Schwoon: Computing the Reveals Relation in Occurrence Nets. ... 31-44
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1106-1231
- ask others
Federico Buti, Massimo Callisto De Donato, Flavio Corradini, Maria Rita Di Berardini, Walter Vogler: Automated Analysis of MUTEX Algorithms with FASE. ... 45-59
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1103-1065
- ask others
Václav Brozek: Optimal Strategies in Infinite-state Stochastic Reachability Games. ... 60-73
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1106-1232
- ask others
Krishnendu Chatterjee, Nathanaël Fijalkow: A reduction from parity games to simple stochastic games. ... 74-86
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1106-1233
- ask others
Bastien Maubert, Sophie Pinchinat, Laura Bozzelli: Opacity Issues in Games with Imperfect Information. ... 87-101
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1106-1234
- ask others
Makoto Tatsuta, Ferruccio Damiani: Type Inference for Bimorphic Recursion. ... 102-115
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1106-1235
- ask others
Zhilin Wu: A Decidable Extension of Data Automata. ... 116-130
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1106-1236
- ask others
Sten Grüner, Frank G. Radmacher, Wolfgang Thomas: Connectivity Games over Dynamic Networks. ... 131-145
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1106-1237
- ask others
Martin Zimmermann: Optimal Bounds in Parametric LTL Games. ... 146-161
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1106-1239
- ask others
Laura Bozzelli: New results on pushdown module checking with imperfect information. ... 162-177
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1106-1240
- ask others
Rüdiger Ehlers, Bernd Finkbeiner: Reactive Safety. ... 178-191
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1106-1241
- ask others
Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco: An Optimal Decision Procedure for MPNL over the Integers. ... 192-206
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1106-1242
- ask others
Markus Latte: Separation of Test-Free Propositional Dynamic Logics over Context-Free Languages. ... 207-221
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1106-1243
- ask others
Giacomo Lenzi: On P-transitive graphs and applications. ... 222-236
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1106-1244
- ask others
Davide Bresolin, Marta Capiluppi: A Game-Theoretic approach to Fault Diagnosis of Hybrid Systems. ... 237-249
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1106-1245
- ask others
Olga Tveretina, Daniel Funke: Deciding Reachability for 3-Dimensional Multi-Linear Systems. ... 250-262
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1106-1246
- ask others
Massimo Benerecetti, Marco Faella, Stefano Minopoli: Towards Efficient Exact Synthesis for Linear Hybrid Systems. ... 263-277