TY  - GEN
DO  - 10.1007/978-3-319-45994-3
DO  - doi
T1  - Reachability problems :10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, proceedings /
AU  - Larsen, K. G.
AU  - Potapov, Igor,
AU  - Srba, Jiří,
VL  - 9899
CN  - QA76.76.V47
N1  - International conference proceedings.
N1  - Includes author index.
ID  - 761381
KW  - Computer systems
KW  - Decidability (Mathematical logic)
KW  - Computer science
SN  - 9783319459943
SN  - 3319459945
TI  - Reachability problems :10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, proceedings /
LK  - https://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-319-45994-3
UR  - https://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-319-45994-3
ER  -