TY  - RPRT
TI  - Parameterized Verification of Systems with Precise (0,1)-Counter Abstraction
AU  - Paul Eichler
AU  - Swen Jacobs
AU  - Chana Weil-Kennedy
PY  - 2026
DO  - 10.1007/978-3-031-82700-6_5
UR  - https://arxiv.org/abs/2408.05954
ID  - 2408.05954
ER  -