by IgorPotapov (Editor), JamesWorrell (Editor), JoelOuaknine (Editor)
This book constitutes the proceedings of the 8th International Workshop on Reachability Problems, RP 2014, held in Oxford, UK, in September 2014. The papers offer new approaches for the modelling and analysis of computational processes by combining mathematical, algorithmic, and computational techniques.
Format: Paperback
Pages: 268
Edition: 2014
Publisher: Springer
Published: 29 Oct 2014
ISBN 10: 3319114387
ISBN 13: 9783319114385