|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 8 publication records. Showing 8 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Luca de Alfaro (eds.) |
Proceedings of the Workshop on Games in Design and Verification, GDV@CAV 2004, Boston, MA, USA, June 18, 2004  |
GDV@CAV  |
2005 |
DBLP BibTeX RDF |
|
| 1 | Luca de Alfaro |
Preface. |
GDV@CAV |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Patricia Bouyer, Franck Cassez, Emmanuel Fleury, Kim Guldstrand Larsen |
Synthesis of Optimal Strategies Using HyTech. |
GDV@CAV |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Loïc Hélouët, Marc Zeitoun, Aldric Degorre |
Scenarios and Covert Channels: Another Game... |
GDV@CAV |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Rafal Somla |
New Algorithms for Solving Simple Stochastic Games. |
GDV@CAV |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Irfan Zakiuddin, Tim Hawkins, Nick Moffat |
Towards A Game Theoretic Understanding of Ad-Hoc Routing. |
GDV@CAV |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Dax, Martin Lange |
Game Over: The Foci Approach to LTL Satisfiability and Model Checking. |
GDV@CAV |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Hugo Gimbert, Wieslaw Zielonka |
Discounting Infinite Games But How and Why? |
GDV@CAV |
2004 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #8 of 8 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license