Si Liu, Peter Csaba Ölveczky, Muntasir Raihan Rahman, Jatin Ganhotra, Indranil Gupta, José Meseguer. Formal modeling and analysis of RAMP transaction systems. In Sascha Ossowski, editor, Proceedings of the 31st Annual ACM Symposium on Applied Computing, Pisa, Italy, April 4-8, 2016. pages 1700-1707, ACM, 2016. [doi]
@inproceedings{LiuORGGM16,
title = {Formal modeling and analysis of RAMP transaction systems},
author = {Si Liu and Peter Csaba Ölveczky and Muntasir Raihan Rahman and Jatin Ganhotra and Indranil Gupta and José Meseguer},
year = {2016},
doi = {10.1145/2851613.2851838},
url = {http://doi.acm.org/10.1145/2851613.2851838},
researchr = {https://researchr.org/publication/LiuORGGM16},
cites = {0},
citedby = {0},
pages = {1700-1707},
booktitle = {Proceedings of the 31st Annual ACM Symposium on Applied Computing, Pisa, Italy, April 4-8, 2016},
editor = {Sascha Ossowski},
publisher = {ACM},
isbn = {978-1-4503-3739-7},
}