Peter Csaba Ölveczky

Collaborator

Select publications

  1. Liu, Si, Peter Csaba Ölveczky, Muntasir Raihan Rahman, Jatin Ganhotra, Indranil Gupta, José Meseguer. "Formal Modeling and Analysis of Ramp Transaction Systems", Proc. ACM Symposium on Applied Computing (SAC), 2016. [pdf] [pptx]