[1]	Marvin Brieger, Stefan Mitsch, and André Platzer. Uniform substitution for dynamic logic with communicating hybrid programs. In CADE, 2023. [ bib \| DOI \| arXiv \| pdf \| slides ]
[2]	Marvin Brieger, Stefan Mitsch, and André Platzer. Dynamic logic of communicating hybrid programs. CoRR, abs/2302.14546, 2023. [ bib \| DOI \| pdf ]

This file was generated by bibtex2html 1.99.