Book
Reachability ProblemsParosh Aziz Abdulla, Igor Potapov

Reachability Problems

Parosh Aziz Abdulla, Igor Potapov
2010223 pages
No counted ratings yet
15 editions
Nonfiction

Track this book

You choose which shelves are public. Progress and read dates stay yours.
Sign in

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 automata; Petri-nets; computational aspects of semigroups, groups and rings; reachability in…

Add to list

More like this

Reviews

Rating integrity

Healthy
Counted ratings come from accounts older than 7 days and were made on or after publication. Finished readers weigh ×1.0. Readers who have not finished yet weigh ×0.5. Did-not-finish ratings are shown but not counted.

Editions

15 editions
  • Paperback · German · 2019
    Springer · 253 pages · 9783030308056
  • Paperback · German · 2018
    Springer · 182 pages · 9783030002497
  • Paperback · German · 2017
    Springer · 208 pages · 9783319670881
  • Paperback · German · 2016
    Springer · 207 pages · 9783319459936
  • Paperback · German · 2015
    Springer · 199 pages · 9783319245362
  • Paperback · German · 2014
    Springer · 266 pages · 9783319114385
Computer simulationComputersDecidability (mathematical logic)ConfigurationsSystem theoryOperating systems (computers)Computer science, mathematicsComputer systems