default search action

combined dblp search
author search
venue search
publication search

ask others

GDV@CAV 2004: Boston, MA, USA

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

> Home > Conferences and Workshops > CAV

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  - electronic edition @ sciencedirect.com
  - details & citations
- export record
  dblp key:
  - conf/cav/2004gdv
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/2004gdv
Luca de Alfaro:
Proceedings of the Workshop on Games in Design and Verification, GDV@CAV 2004, Boston, MA, USA, June 18, 2004. Electronic Notes in Theoretical Computer Science 119(1), Elsevier 2005
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Alfaro05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Alfaro05
Luca de Alfaro:
Preface. 1-2
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/GimbertZ05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/GimbertZ05
Hugo Gimbert, Wieslaw Zielonka:
Discounting Infinite Games But How and Why? 3-9
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BouyerCFL05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BouyerCFL05
Patricia Bouyer, Franck Cassez, Emmanuel Fleury, Kim Guldstrand Larsen:
Synthesis of Optimal Strategies Using HyTech. 11-31
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/DaxL05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/DaxL05
Christian Dax, Martin Lange:
Game Over: The Foci Approach to LTL Satisfiability and Model Checking. 33-49
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Somla05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Somla05
Rafal Somla:
New Algorithms for Solving Simple Stochastic Games. 51-65
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/ZakiuddinHM05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/ZakiuddinHM05
Irfan Zakiuddin, Tim Hawkins, Nick Moffat:
Towards A Game Theoretic Understanding of Ad-Hoc Routing. 67-92
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/HelouetZD05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/HelouetZD05
Loïc Hélouët, Marc Zeitoun, Aldric Degorre:
Scenarios and Covert Channels: Another Game... 93-116

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.