by Igor Potapov (Editor), Parosh Aziz Abdulla (Editor)
This book constitutes the refereed proceedings of the 7th International Workshop on Reachability Problems, RP 2013, held in Uppsala, Sweden, in September 2013.
Format: Paperback
Pages: 236
Edition: 2013
Publisher: Springer
Published: 26 Aug 2013
ISBN 10: 3642410359
ISBN 13: 9783642410352