Kah Wai Lee

Publication Activity (10 Years)

Years Active: 2014-2014
Publications (10 Years): 0

Top Topics

Reasoning Mechanisms

Constraint Checking

Top Venues

ACM Trans. Storage

Publications

Daniel Fryer, Mike Dai Qin, Jack Sun, Kah Wai Lee, Angela Demke Brown, Ashvin Goel
Checking the Integrity of Transactional Mechanisms. ACM Trans. Storage 10 (4) (2014)
Daniel Fryer, Dai Qin, Jack Sun, Kah Wai Lee, Angela Demke Brown, Ashvin Goel
Checking the integrity of transactional mechanisms. FAST (2014)