@article{DBLP:journals/corr/abs-2408-05012,
author = {Marvin Brieger and Stefan Mitsch and Andr{\'{e}} Platzer},
title = {Complete Dynamic Logic of Communicating Hybrid Programs},
journal = {CoRR},
volume = {abs/2408.05012},
year = {2024},
archiveprefix = {arXiv},
doi = {10.48550/ARXIV.2408.05012},
pdf = {publications/dLCHP_complete.pdf},
timestamp = {Tue, 17 Sep 2024 08:35:45 +0200}
}
@inproceedings{Brieger2023,
author = {Marvin Brieger and Stefan Mitsch and Andr{\'{e}} Platzer},
booktitle = {CADE},
title = {Uniform Substitution for Dynamic Logic with Communicating Hybrid Programs},
year = {2023},
archiveprefix = {arXiv},
doi = {10.1007/978-3-031-38499-8_6},
eprint = {2303.17333},
pdf = {publications/dLCHP_unisubs.pdf},
slides = {publications/dLCHP_unisubs_slides.pdf},
timestamp = {Fri, 14 Apr 2023 17:38:15 +0200}
}
@article{Brieger2023a,
author = {Marvin Brieger and Stefan Mitsch and Andr{\'{e}} Platzer},
journal = {CoRR},
title = {Dynamic Logic of Communicating Hybrid Programs},
year = {2023},
volume = {abs/2302.14546},
archiveprefix = {arXiv},
doi = {10.48550/arXiv.2302.14546},
pdf = {publications/dLCHP.pdf},
timestamp = {Thu, 02 Mar 2023 10:23:33 +0100}
}
This file was generated by bibtex2html 1.99.