Uniform substitution for dynamic logic with communicating hybrid programs

@inproceedings{DBLP:conf/cade/BriegerMP23,
	slides = {pub/dLCHP-slides.pdf},
	author = {['Marvin Brieger', 'Stefan Mitsch', 'André 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', 'Cesare Tinelli']},
	publisher = {Springer},
	series = {LNCS},
	volume = {14132},
	address = {},
	isbn = {}
}