@COMMENT This file was generated by bib2html.pl version 0.94
@COMMENT written by Patrick Riley
@inproceedings{nigam22wrla,
author = {Vivek Nigam and
Carolyn L. Talcott},
editor = {Kyungmin Bae},
title = {Automating Safety Proofs About Cyber-Physical Systems Using Rewriting
Modulo {SMT}},
booktitle = {Rewriting Logic and Its Applications - 14th International Workshop,
WRLA@ETAPS 2022, Munich, Germany, April 2-3, 2022, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {13252},
pages = {212--229},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-12441-9\_11},
doi = {10.1007/978-3-031-12441-9\_11},
timestamp = {Wed, 03 Aug 2022 15:28:31 +0200},
bib2html_pubtype = {Refereed Conference/Workshop},
bib2html_rescat = {Formal Methods},
bib2html_dl_pdf = "/docs/wrla22.pdf"
}