TY  - GEN
DO  - 10.1007/978-3-030-00250-3
DO  - doi
T1  - Reachability problems :12th International Conference, RP 2018, Marseille, France, September 24-26, 2018, Proceedings /
AU  - Potapov, Igor,
AU  - Reynier, Pierre-Alain,
VL  - 11123
CN  - QA76.76.V47
N1  - International conference proceedings.
ID  - 850798
KW  - Computer systems
KW  - Decidability (Mathematical logic)
KW  - Computer science
SN  - 9783030002503
SN  - 3030002500
TI  - Reachability problems :12th International Conference, RP 2018, Marseille, France, September 24-26, 2018, Proceedings /
LK  - https://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-030-00250-3
UR  - https://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-030-00250-3
ER  -