Opening book details…
Can I read Reachability Problems : 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013, Proceedings on EtoBox?
Reachability Problems : 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013, Proceedings by Patricia Bouyer, Nicolas Markey, Ocan Sankur (auth.), Parosh Aziz Abdulla, Igor Potapov (eds.) is a computer science book available to read on EtoBox.
What is Reachability Problems : 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013, Proceedings about?
This book constitutes the refereed proceedings of the 7th International Workshop on Reachability Problems, RP 2013, held in Uppsala, Sweden, in September 2013. The 19 revised papers (The 14 revised papers were carefully reviewed and selected from 24 submissions in addition to 5 invited talks) were carefully reviewed and selected from 24 submissions. Topics of interest include reachability for finite state systems; rewriting systems, reachability analysis in counter/timed/cellular/communicating a
Who reads Reachability Problems : 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013, Proceedings?
It is typically read by working professionals who need an authoritative practice reference.
Common subject areas: medicine, law, business, engineering.
- Author
- Patricia Bouyer, Nicolas Markey, Ocan Sankur (auth.), Parosh Aziz Abdulla, Igor Potapov (eds.)
- Publisher
- Springer-Verlag Berlin Heidelberg
- Published
- 2013
- Language
- EN
- ISBN
- 9783642410352
- Category
- computer science
- Subjects
- Engineering, Mathematics, Technology
- Updated
- 2026-03-24
More by Patricia Bouyer, Nicolas Markey, Ocan Sankur (auth.), Parosh Aziz Abdulla, Igor Potapov (eds.)
Similar books
- Reachability problems : 3rd international workshop, RP 2009, Palaiseau, France, September 23-25, 2009 : proceedings — Mohamed Faouzi Atig, Ahmed Bouajjani (auth.), Olivier Bournez, Igor Potapov (2009)
- 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)
- Principles and Practice of Constraint Programming : 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings — Michela Milano (auth.), Christian Schulte (2013)
- Cooperative Information Agents III: Third International Workshop, CIA'99 Uppsala, Sweden, July 31 - August 2, 1999 Proceedings (Lecture Notes in Computer Science, 1652) — Matthias Klusch , Onn M. Shehory , Gerhard Weiß (1999)
- Post-Quantum Cryptography: 7th International Workshop, PQCrypto 2016, Fukuoka, Japan, February 24-26, 2016, Proceedings (Lecture Notes in Computer Science Book 9606) — Takagi T. (2016)
- Hybrid metaheuristics : 7th international workshop, HM 2010, Vienna, Austria, October 1-2, 2010 : proceedings — Manuel Lozano, Christian Blum (auth.), María J. Blesa, Christian Blum, Günther Raidl, Andrea Roli, Michael Sampels (2010)