Spara
Reachability Problems
This book constitutes the refereed proceedings of the 10th International Workshop on Reachability Problems, RP 2016, held in Aalborg, Denmark, in September 2016. The papers cover a range of topics in the field of reachability for infinite state systems;
- Undertitel
- 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings
- Redaktör
- Kim Guldstrand Larsen, Igor Potapov, Jirí Srba
- Upplaga
- 1st ed. 2016
- ISBN
- 9783319459936
- Språk
- Engelska
- Vikt
- 310 gram
- Utgivningsdatum
- 2016-09-13
- Sidor
- 193
