%0 Conference Paper %1 conf/wrla/NigamT22 %A Nigam, Vivek %A Talcott, Carolyn L. %B WRLA@ETAPS %D 2022 %E Bae, Kyungmin %I Springer %K dblp %P 212-229 %T Automating Safety Proofs About Cyber-Physical Systems Using Rewriting Modulo SMT. %U http://dblp.uni-trier.de/db/conf/wrla/wrla2022.html#NigamT22 %V 13252 %@ 978-3-031-12441-9

@inproceedings{conf/wrla/NigamT22, added-at = {2022-08-03T00:00:00.000+0200}, author = {Nigam, Vivek and Talcott, Carolyn L.}, biburl = {https://www.bibsonomy.org/bibtex/2d72b1367570fb7b6203d3c890d8da26c/dblp}, booktitle = {WRLA@ETAPS}, crossref = {conf/wrla/2022}, editor = {Bae, Kyungmin}, ee = {https://doi.org/10.1007/978-3-031-12441-9_11}, interhash = {cec6216d05abbc874f2166ee1bb81945}, intrahash = {d72b1367570fb7b6203d3c890d8da26c}, isbn = {978-3-031-12441-9}, keywords = {dblp}, pages = {212-229}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T23:58:09.000+0200}, title = {Automating Safety Proofs About Cyber-Physical Systems Using Rewriting Modulo SMT.}, url = {http://dblp.uni-trier.de/db/conf/wrla/wrla2022.html#NigamT22}, volume = 13252, year = 2022 }