Formal modeling and analysis of RAMP transaction systems.

Si Liu Peter Csaba Ölveczky Muntasir Raihan Rahman Jatin Ganhotra Indranil Gupta José Meseguer

Published in: SAC (2016)

Keyphrases