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