%0 Conference Paper %1 conf/wsfm/YuCW13 %A Yu, Hengbiao %A Chen, Zhenbang %A Wang, Ji %B WS-FM %D 2013 %E Tuosto, Emilio %E Ouyang, Chun %I Springer %K dblp %P 168-187 %T An Operational Semantics for Model Checking Long Running Transactions. %U http://dblp.uni-trier.de/db/conf/wsfm/wsfm2013.html#YuCW13 %V 8379 %@ 978-3-319-08259-2

@inproceedings{conf/wsfm/YuCW13, added-at = {2019-05-28T00:00:00.000+0200}, author = {Yu, Hengbiao and Chen, Zhenbang and Wang, Ji}, biburl = {https://www.bibsonomy.org/bibtex/2dd65e7ae4032ec8fbd59e5a2b80b4d2a/dblp}, booktitle = {WS-FM}, crossref = {conf/wsfm/2013}, editor = {Tuosto, Emilio and Ouyang, Chun}, ee = {https://doi.org/10.1007/978-3-319-08260-8_10}, interhash = {41bd6b7e2448539ddc5a29470aeff6a8}, intrahash = {dd65e7ae4032ec8fbd59e5a2b80b4d2a}, isbn = {978-3-319-08259-2}, keywords = {dblp}, pages = {168-187}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T02:38:54.000+0200}, title = {An Operational Semantics for Model Checking Long Running Transactions.}, url = {http://dblp.uni-trier.de/db/conf/wsfm/wsfm2013.html#YuCW13}, volume = 8379, year = 2013 }