Reachability Problems: 14th International Conference Rp 2020 Paris France October 19-21 2020 Proceedings

Reachability Problems: 14th International Conference, RP 2020, Paris, France, October 19–21, 2020, Proceedings 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; Wydawnictwo: Springer Rok wydania: 2020 Okładka: miękka Liczba stron: 165 Wymiary: 23.5 x 15.5 cm Ilustracje: 13 Illustrations, color; 113 Illustrations, black and white; XXI, 165 p. 126 illus., 13 illus. in color. Język: angielski ISBN: 9783030617387