TY  - RPRT
TI  - Computing Inductive Invariants of Regular Abstraction Frameworks
AU  - Philipp Czerner
AU  - Javier Esparza
AU  - Valentin Krasotin
AU  - Christoph Welzel-Mohr
PY  - 2024
UR  - https://arxiv.org/abs/2404.10752
ID  - 2404.10752
ER  -