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
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 | Reachability Problems |
---|---|
Country/Territory | United Kingdom |
City | Oxford |
Period | 22/09/14 → 24/09/14 |
Project: Research
ID: 22918212