%0 Conference Paper %1 conf/tase/Xu0ZP19 %A Xu, Chao %A Wu, Xi %A Zhu, Huibiao %A Popovic, Miroslav %B TASE %D 2019 %E Méry, Dominique %E Qin, Shengchao %I IEEE %K dblp %P 240-247 %T Modeling and Verifying Transaction Scheduling for Software Transactional Memory using CSP. %U http://dblp.uni-trier.de/db/conf/tase/tase2019.html#Xu0ZP19 %@ 978-1-7281-3342-3

@inproceedings{conf/tase/Xu0ZP19, added-at = {2020-06-15T00:00:00.000+0200}, author = {Xu, Chao and Wu, Xi and Zhu, Huibiao and Popovic, Miroslav}, biburl = {https://www.bibsonomy.org/bibtex/255518750daee5b68405394c862f982c1/dblp}, booktitle = {TASE}, crossref = {conf/tase/2019}, editor = {Méry, Dominique and Qin, Shengchao}, ee = {https://doi.org/10.1109/TASE.2019.00009}, interhash = {2e3c8f845cd6d16abf69bf14beb58ae1}, intrahash = {55518750daee5b68405394c862f982c1}, isbn = {978-1-7281-3342-3}, keywords = {dblp}, pages = {240-247}, publisher = {IEEE}, timestamp = {2020-06-16T12:59:12.000+0200}, title = {Modeling and Verifying Transaction Scheduling for Software Transactional Memory using CSP.}, url = {http://dblp.uni-trier.de/db/conf/tase/tase2019.html#Xu0ZP19}, year = 2019 }