Spar
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;
- Undertittel
- 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings
- Redaktør
- Kim Guldstrand Larsen, Igor Potapov, Jirí Srba
- Opplag
- 1st ed. 2016
- ISBN
- 9783319459936
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 13.9.2016
- Antall sider
- 193
