%0 Conference Paper %1 conf/cav/WuHHLS23 %A Wu, Wenhao %A Hückelheim, Jan %A Hovland, Paul D. %A Luo, Ziqing %A Siegel, Stephen F. %B CAV (2) %D 2023 %E Enea, Constantin %E Lal, Akash %I Springer %K dblp %P 265-287 %T Model Checking Race-Freedom When "Sequential Consistency for Data-Race-Free Programs" is Guaranteed. %U http://dblp.uni-trier.de/db/conf/cav/cav2023-2.html#WuHHLS23 %V 13965 %@ 978-3-031-37703-7

@inproceedings{conf/cav/WuHHLS23, added-at = {2023-09-12T00:00:00.000+0200}, author = {Wu, Wenhao and Hückelheim, Jan and Hovland, Paul D. and Luo, Ziqing and Siegel, Stephen F.}, biburl = {https://www.bibsonomy.org/bibtex/2ebba8432890b87d613612bbbf6b1b75b/dblp}, booktitle = {CAV (2)}, crossref = {conf/cav/2023-2}, editor = {Enea, Constantin and Lal, Akash}, ee = {https://doi.org/10.1007/978-3-031-37703-7_13}, interhash = {69a3288d5ccea019be49655bb8c44e5b}, intrahash = {ebba8432890b87d613612bbbf6b1b75b}, isbn = {978-3-031-37703-7}, keywords = {dblp}, pages = {265-287}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T10:16:51.000+0200}, title = {Model Checking Race-Freedom When "Sequential Consistency for Data-Race-Free Programs" is Guaranteed.}, url = {http://dblp.uni-trier.de/db/conf/cav/cav2023-2.html#WuHHLS23}, volume = 13965, year = 2023 }