Reachability problems: 14th international conference, rp 2020, paris, france, october 19–21, 2020, proceedings
Éditeur :
Springer Nature Switzerland AG
ISBN :
9783030617387
Date de publication :
13 oct. 2020
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
This book constitutes the refereed proceedings of the 14th International Conference on Reachability Problems, RP 2020, held in Paris, France in October 2020.The 8 full papers presented were carefully reviewed and selected from 25 submissions. The papers cover topics such as reachability for infinite state systems;