%0 Conference Paper %1 conf/icfem/LiZB22 %A Li, Ran %A Zhu, Huibiao %A Banach, Richard %B ICFEM %D 2022 %E Riesco, Adrián %E Zhang, Min %I Springer %K dblp %P 244-262 %T A Proof System for Cyber-Physical Systems with Shared-Variable Concurrency. %U http://dblp.uni-trier.de/db/conf/icfem/icfem2022.html#LiZB22 %V 13478 %@ 978-3-031-17244-1

@inproceedings{conf/icfem/LiZB22, added-at = {2024-02-05T00:00:00.000+0100}, author = {Li, Ran and Zhu, Huibiao and Banach, Richard}, biburl = {https://www.bibsonomy.org/bibtex/2d2b856cec034e5d6c524291fa2c392f7/dblp}, booktitle = {ICFEM}, crossref = {conf/icfem/2022}, editor = {Riesco, Adrián and Zhang, Min}, ee = {https://doi.org/10.1007/978-3-031-17244-1_15}, interhash = {21c3a53dbbcd952316a8ab4569d7426c}, intrahash = {d2b856cec034e5d6c524291fa2c392f7}, isbn = {978-3-031-17244-1}, keywords = {dblp}, pages = {244-262}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T10:19:49.000+0200}, title = {A Proof System for Cyber-Physical Systems with Shared-Variable Concurrency.}, url = {http://dblp.uni-trier.de/db/conf/icfem/icfem2022.html#LiZB22}, volume = 13478, year = 2022 }