Opening book details…
Can I read Reachability Problems: 14th International Conference, RP 2020, Paris, France, October 19–21, 2020, Proceedings (Theoretical Computer Science and General Issues Book 12448) on EtoBox?
Reachability Problems: 14th International Conference, RP 2020, Paris, France, October 19–21, 2020, Proceedings (Theoretical Computer Science and General Issues Book 12448) by Sylvain Schmitz, Igor Potapov, Parosh Aziz Abdulla is a computer science book available to read on EtoBox.
What is Reachability Problems: 14th International Conference, RP 2020, Paris, France, October 19–21, 2020, Proceedings (Theoretical Computer Science and General Issues Book 12448) about?
This book constitutes the refereed proceedings of the 14th International Conference on Reachability Problems, RP 2020, held in Paris, France in October 2020.<p>The 8 full papers presented were carefully reviewed and selected from 25 submissions. In addition, 2 invited papers were included in this volume. The papers cover topics such as reachability for infinite state systems; rewriting systems; reachability analysis in counter/timed/cellular/communicating automata; Petri nets; computational aspe
Who reads Reachability Problems: 14th International Conference, RP 2020, Paris, France, October 19–21, 2020, Proceedings (Theoretical Computer Science and General Issues Book 12448)?
It is typically read by working professionals who need an authoritative practice reference.
Common subject areas: medicine, law, business, engineering.
- Author
- Sylvain Schmitz, Igor Potapov, Parosh Aziz Abdulla
- Publisher
- Springer International Publishing;Springer
- Published
- 2020
- Language
- EN
- ISBN
- 9783030617387
- Category
- computer science
- Subjects
- Mathematics, Engineering, Management
- Updated
- 2026-03-24
More by Sylvain Schmitz, Igor Potapov, Parosh Aziz Abdulla
Browse all works by Sylvain Schmitz, Igor Potapov, Parosh Aziz Abdulla
Similar books
- Reachability Problems : 17th International Conference, RP 2023, Nice, France, October 11–13, 2023, Proceedings 14235 — Olivier Bournez; Enrico Formenti; Igor Potapov (2023)
- Reachability Problems: 5th International Workshop, RP 2011, Genoa, Italy, September 28-30, 2011, Proceedings (Lecture Notes in Computer Science, 6945) — Krishnendu Chatterjee (auth.), Giorgio Delzanno, Igor Potapov (2011)
- Algorithmic Learning Theory: 14th International Conference, ALT 2003, Sapporo, Japan, October 17-19, 2003, Proceedings (Lecture Notes in Computer Science) — Thomas Eiter (auth.), Ricard Gavaldá, Klaus P. Jantke, Eiji Takimoto (2003)
- Bioinspired Optimization Methods and Their Applications 9th International Conference, BIOMA 2020, Brussels, Belgium, November 19-20, 2020, Proceedings. Theoretical Computer Science and General Issues — Bogdan Filipič, Edmondo Minisci, Massimiliano Vasile (2020)
- Recent advances in parallel virtual machine and message passing interface : 14th European PVM/MPI User's Group Meeting, Paris, France, September 30 - October 3, 2007 ; proceedings — George Bosilca (auth.), Franck Cappello, Thomas Herault, Jack Dongarra (2007)
- Computer Performance Engineering: 15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, Proceedings (Lecture Notes in Computer Science, 11178) — Rena Bakhshi, Paolo Ballarini, Benoît Barbot, Hind Castel-Taleb, Anne Remke (2018)