Reachability Problems: 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings: 9899 (Lecture Notes in Computer Science)

by KimGulstrandLarsen (Editor), IgorPotapov (Editor), JiríSrba (Editor), KimGuldstrandLarsen (Editor), JiříSrba (Editor)

• New

  Paperback
  2016

  $56.63

  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;