Reachability problems: 10th international workshop, rp 2016, aalborg, denmark, september 19-21, 2016, proceedings
Éditeur :
Springer International Publishing AG
ISBN :
9783319459936
Date de publication :
13 sept. 2016
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
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;