TY  - RPRT
TI  - PSTM Transaction Scheduler Verification Based on CSP and Testing
AU  - Miroslav Popovic
AU  - Marko Popovic
AU  - Branislav Kordic
AU  - Huibiao Zhu
PY  - 2023
DO  - 10.1145/3459960.3459962
UR  - https://arxiv.org/abs/2305.08380
ID  - 2305.08380
ER  -