%0 Conference Paper %1 conf/sc/SiegelZLZMEDR15 %A Siegel, Stephen F. %A Zheng, Manchun %A Luo, Ziqing %A Zirkel, Timothy K. %A Marianiello, Andre V. %A Edenhofner, John G. %A Dwyer, Matthew B. %A Rogers, Michael S. %B SC %D 2015 %E Kern, Jackie %E Vetter, Jeffrey S. %I ACM %K dblp %P 61:1-61:12 %T CIVL: the concurrency intermediate verification language. %U http://dblp.uni-trier.de/db/conf/sc/sc2015.html#SiegelZLZMEDR15 %@ 978-1-4503-3723-6

@inproceedings{conf/sc/SiegelZLZMEDR15, added-at = {2021-10-14T00:00:00.000+0200}, author = {Siegel, Stephen F. and Zheng, Manchun and Luo, Ziqing and Zirkel, Timothy K. and Marianiello, Andre V. and Edenhofner, John G. and Dwyer, Matthew B. and Rogers, Michael S.}, biburl = {https://www.bibsonomy.org/bibtex/25e744e178b9bae24dcccccc5dd47e69f/dblp}, booktitle = {SC}, crossref = {conf/sc/2015}, editor = {Kern, Jackie and Vetter, Jeffrey S.}, ee = {https://doi.org/10.1145/2807591.2807635}, interhash = {656d1a1968301597fdd8e08e8e944a0d}, intrahash = {5e744e178b9bae24dcccccc5dd47e69f}, isbn = {978-1-4503-3723-6}, keywords = {dblp}, pages = {61:1-61:12}, publisher = {ACM}, timestamp = {2024-04-10T09:19:09.000+0200}, title = {CIVL: the concurrency intermediate verification language.}, url = {http://dblp.uni-trier.de/db/conf/sc/sc2015.html#SiegelZLZMEDR15}, year = 2015 }