TY  - RPRT
TI  - A Dynamic Logic for Verification of Synchronous Models based on Theorem Proving
AU  - Yuanrui Zhang
PY  - 2021
UR  - https://arxiv.org/abs/2104.03681
ID  - 2104.03681
ER  -