%0 Conference Paper %1 conf/setta/LiZB22 %A Li, Ran %A Zhu, Huibiao %A Banach, Richard %B SETTA %D 2022 %E Dong, Wei %E Talpin, Jean-Pierre %I Springer %K dblp %P 127-133 %T Translating CPS with Shared-Variable Concurrency in SpaceEx. %U http://dblp.uni-trier.de/db/conf/setta/setta2022.html#LiZB22 %V 13649 %@ 978-3-031-21213-0

@inproceedings{conf/setta/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/261663d3996cf16196c1763fdbb39e911/dblp}, booktitle = {SETTA}, crossref = {conf/setta/2022}, editor = {Dong, Wei and Talpin, Jean-Pierre}, ee = {https://doi.org/10.1007/978-3-031-21213-0_8}, interhash = {54b5548d7de9c232ba93330fefcae1b4}, intrahash = {61663d3996cf16196c1763fdbb39e911}, isbn = {978-3-031-21213-0}, keywords = {dblp}, pages = {127-133}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T22:48:11.000+0200}, title = {Translating CPS with Shared-Variable Concurrency in SpaceEx.}, url = {http://dblp.uni-trier.de/db/conf/setta/setta2022.html#LiZB22}, volume = 13649, year = 2022 }