literature.bib

@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}
}

@comment{{jabref-meta: databaseType:bibtex;}}

This file was generated by bibtex2html 1.99.