Checking Robustness Against Snapshot Isolation - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Sidi Mohamed Beillahi, Ahmed Bouajjani, Constantin Enea. Checking Robustness Against Snapshot Isolation. In Isil Dillig, Serdar Tasiran, editors, Computer Aided Verification - 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II. Volume 11562 of Lecture Notes in Computer Science, pages 286-304, Springer, 2019. [doi]

This author has not been identified. Look up 'Sidi Mohamed Beillahi' in GoogleThis author has not been identified. Look up 'Ahmed Bouajjani' in GoogleThis author has not been identified. Look up 'Constantin Enea' in Google

runs on WebDSL