TY  - BOOK
AU  - Bell,Paul C.
AU  - Totzke,Patrick
AU  - Potapov,Igor
ED  - International Conference on Reachability Problems
TI  - Reachability problems: 15th international conference, RP 2021, Liverpool, UK, October 25-27, 2021 : proceedings 
T2  - Lecture notes in computer science
SN  - 9783030897161
AV  - QA76.76.V47 I58 2021
U1  - 005.1/4 23
PY  - 2021///]
CY  - Cham
PB  - Springer
KW  - Computer systems
KW  - Verification
KW  - Congresses
KW  - Decidability (Mathematical logic)
KW  - Computer science
KW  - Mathematics
KW  - Systèmes informatiques
KW  - Vérification
KW  - Congrès
KW  - Décidabilité (Logique mathématique)
KW  - Informatique
KW  - Mathématiques
KW  - fast
KW  - Congress
KW  - proceedings (reports)
KW  - aat
KW  - Conference papers and proceedings
KW  - lcgft
KW  - Actes de congrès
KW  - rvmgf
N1  - International conference proceedings; Includes author index; Invited Papers -- Quantitative vs. Weighted Automata -- Theorem Proving Using Clausal Resolution: From Past to Present -- Population Protocols: Beyond Runtime Analysis -- Recent Advances on Reachability Problems for Valence Systems (Invited Talk) -- Regular Papers -- Improvements in Unfolding of Colored Petri Nets -- Reachability of weakly nonlinear systems using Carleman linearization -- Continued Fraction approach to Gauss-Reduction theory -- Absent Subsequences in Words -- Minimal Number of Calls in Propositional Protocols -- Reachability Is NP-Complete Even for the Simplest Neural Networks.-
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
UR  - https://link.springer.com/10.1007/978-3-030-89716-1
ER  -