TY  - GEN
AB  - Chapter Recent Advances on Reachability Problems for Valence Systems is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
AU  - Bell, Paul C.,
AU  - Totzke, Patrick,
AU  - Potapov, Igor,
CN  - QA76.76.V47
DO  - 10.1007/978-3-030-89716-1
DO  - doi
ID  - 1440622
KW  - Computer systems
KW  - Decidability (Mathematical logic)
KW  - Computer science
KW  - Systèmes informatiques
KW  - Décidabilité (Logique mathématique)
KW  - Informatique
LK  - https://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-030-89716-1
N1  - International conference proceedings.
N1  - Includes author index.
N2  - Chapter Recent Advances on Reachability Problems for Valence Systems is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
SN  - 9783030897161
SN  - 3030897168
T1  - Reachability problems :15th international conference, RP 2021, Liverpool, UK, October 25-27, 2021 : proceedings /
TI  - Reachability problems :15th international conference, RP 2021, Liverpool, UK, October 25-27, 2021 : proceedings /
UR  - https://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-030-89716-1
VL  - 13035
ER  -