An edition of Reachability Problems (2009)

Reachability Problems

3rd International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009. Proceedings

By Olivier Bournez

0 (0 Ratings)

0 Want to read0 Currently reading0 Have read

Publish Date

2009

Publisher

Springer Berlin Heidelberg

Language

eng

Pages

Description:

subjects: Logic design, Information theory, Computer science, Computer software, Computer systems, Congresses, Verification, Decidability (Mathematical logic), Configurations, Decidability (mathematical logic)