# Formal modeling and analysis of RAMP transaction systems

> Research article (Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016) · cited 21× · AI/ML

**Wikidata**: [openalex:W2480339434](https://www.wikidata.org/wiki/openalex:W2480339434)  
**Source**: https://4ort.xyz/entity/formal-modeling-and-analysis-of-ramp-transaction-systems