Tallenna
Reachability Problems
Constitutes the refereed proceedings of the 5th International Workshop on Reachability Problems, RP 2011, held in Genoa, Italy, in September 2011. This book includes the papers dealing with reachability problems that appear in algebraic structures, computational models, hybrid systems, logic, and verification.
- Alaotsikko
- 5th International Workshop, RP 2011, Genoa, Italy, September 28-30, 2011, Proceedings
- Toimittaja
- Giorgio Delzanno, Igor Potapov
- ISBN
- 9783642242878
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 19.9.2011
- Sivumäärä
- 245
