%0 Journal Article
%A Miroslav Popovic
%A Marko Popovic
%A Branislav Kordic
%A Huibiao Zhu
%T Complete Formal Verification of the PSTM Transaction Scheduler
%J Computer Science and Information Systems
%D 2023
%V 20
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/CSIS_2023_20_1_a18/
%F CSIS_2023_20_1_a18