ENGLISH

Reachability Problems : 17th International Conference, RP 2023, Nice, France, October 11–13, 2023, Proceedings

By Olivier Bournez; Enrico Formenti; Igor Potapov

Book information

Publisher
Springer Nature Switzerland
Year
2023
ISBN
9783031452857, 9783031452864
DOI
10.1007/978-3-031-45286-4
ISSN
1611-3349
Language
english
Format
PDF
Filesize
7 MB (7851704 bytes)
Series
Lecture Notes in Computer Science
Volume
14235
Edition
1
Pages
xlviii; 199\231
Orientation
yes
Scanned
no
Time added
2023-12-01 11:38:48
Mathematical Logic and Formal Languages; Logics an

Description

This book constitutes the refereed proceedings of the 17th International Conference on Reachability Problems, RP 2023, held in Nice, France, during October 11–13, 2023. The 13 full papers included in this book were carefully reviewed and selected from 19 submissions. They present recent research on reachability problems to promote the exploration of new approaches for the modeling and analysis of computational processes by combining mathematical, algorithmic, and computational techniques.

Similar books