(Q130872086)
Statements
Efficient Black-Box Checking of Snapshot Isolation in Databases (English)
Kaile Huang
Si Liu
Zhenge Chen
Hengfeng Wei
David Basin
Haixiang Li
Anqun Pan
20 April 2023
16
6
1264-1276
scientific article published on 20 April 2023
No description defined