TY  - RPRT
TI  - A Logic Theory Pattern for Linearized Control Systems
AU  - Andrea Domenici
AU  - Cinzia Bernardeschi
PY  - 2021
DO  - 10.4204/eptcs.338.7
UR  - https://arxiv.org/abs/2108.02964
ID  - 2108.02964
ER  -