TY  - JOUR
AU  - Miroslav Popovic
AU  - Marko Popovic
AU  - Branislav Kordic
AU  - Huibiao Zhu
TI  - Complete Formal Verification of the PSTM Transaction Scheduler
JO  - Computer Science and Information Systems
PY  - 2023
VL  - 20
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/CSIS_2023_20_1_a18/
ID  - CSIS_2023_20_1_a18
ER  -