Regular Strategies in Pushdown Reachability Games. / Hague, Matthew; Carayol, Arnaud.
8th International Workshop on Reachability Problems 2014. 2014.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
Documents
- rp2014
Accepted author manuscript, 108 KB, PDF document
| Original language | English |
|---|---|
| Title of host publication | 8th International Workshop on Reachability Problems 2014 |
| Number of pages | 13 |
| Publication status | Published - 2014 |
| Event | Reachability Problems - University of Oxford, Oxford, United Kingdom Duration: 22 Sep 2014 → 24 Sep 2014 |
Conference
| Conference | Reachability Problems |
|---|---|
| Country/Territory | United Kingdom |
| City | Oxford |
| Period | 22/09/14 → 24/09/14 |
Projects
Verification of Concurrent and Higher-Order Recursive Programs
Project: Research
This open access research output is licenced under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.
ID: 22918212