Reachability Problems

Reachability Problems

10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings

Engels
193

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;

0 | 0

  • : 9783319459936
  • : Engels
  • : Paperback
  • : 193
  • : september 2016
  • : 3226
  • : 235 x 155 x 12 mm.
  • : Lecture Notes in Computer Science
  • : Algoritmes en datastructuren; Wiskundige systeemtheorie