@misc{indiciae05795c903d66,
  title = {Parallel Composition and Modular Verification of Computer Controlled Systems in Differential Dynamic Logic},
  author = {Simon Lunel and Stefan Mitsch and Benoit Boyer and Jean-Pierre Talpin},
  year = {2019},
  url = {https://arxiv.org/abs/1907.02881},
  note = {Source identifier: 1907.02881}
}