Tallenna
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;
- Alaotsikko
- 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings
- Toimittaja
- Kim Guldstrand Larsen, Igor Potapov, Jirí Srba
- Painos
- 1st ed. 2016
- ISBN
- 9783319459936
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 13.9.2016
- Kustantaja
- Springer International Publishing AG
- Sivumäärä
- 193
