@misc{indiciae7c9b2ce31b45,
  title = {A Dynamic Logic for Verification of Synchronous Models based on Theorem Proving},
  author = {Yuanrui Zhang},
  year = {2021},
  url = {https://arxiv.org/abs/2104.03681},
  note = {Source identifier: 2104.03681}
}