Uniform substitution for dynamic logic with communicating hybrid programs

@INPROCEEDINGS{DBLP:conf/cade/BriegerMP23,
	slides = {pub/dLCHP-slides.pdf},

  author    = {Marvin Brieger and
               Stefan Mitsch and
               Andr{\'{e}} Platzer},
  title     = {Uniform Substitution for Dynamic Logic with Communicating Hybrid Programs},
  booktitle = {CADE},
  longbooktitle = {Automated Deduction -- CADE 29},
  otherbooktitle = {International Conference on Automated Deduction, CADE-29, Rome, Italy, Proceedings},
  year      = {2023},
  pages     = {96-115},
  doi       = {10.1007/978-3-031-38499-8_6},
  editor    = {Brigitte Pientka and
               Cesare Tinelli},
  publisher = {Springer},
  series    = {LNCS},
  volume    = {14132},
  address   = {},
  isbn      = {},
}```