Book
Reachability ProblemsParosh Aziz Abdulla, Igor Potapov
Nonfiction

Reachability Problems

223 pagesFirst published 201015 editions
No counted ratings yet

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 shelfAdd to list

Track this book

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

Rating integrity

Healthy
Scores only count accounts older than 7 days and ratings made after publication; read-verified ratings weigh double; ratings from readers who didn’t finish are shown but not counted.

How it felt

Be the first to tag this

Reviews

No reviews yet. Sign in to write the first.

Editions

15 in Spinefolk
FormatPublisherYearPagesISBN
EditionSpringer International Publishing AG2022—9783031191343
EditionSpringer International Publishing AG2021—9783030897154
EditionSpringer International Publishing AG2020—9783030617387
PaperbackSpringer20192539783030308056
PaperbackSpringer20181829783030002497
PaperbackSpringer20172089783319670881
PaperbackSpringer20162079783319459936
EditionSpringer London, Limited20151799783319245379
PaperbackSpringer20151999783319245362
EditionSpringer London, Limited20142469783319114392
PaperbackSpringer20142669783319114385
PaperbackSpringer20132359783642410352
+ 3 more
Computer simulationComputersDecidability (mathematical logic)ConfigurationsSystem theoryOperating systems (computers)Computer science, mathematicsComputer systems