Researchers
Popović, Miroslav
| Issue Date | Title | Author(s) | Type | Мp-cat. |
|---|---|---|---|---|
| 2023 | Complete Formal Verification of the PSTM Transaction Scheduler | Popovic, Miroslav V   ; Popovic, Marko M; Kordic, Branislav A; Zhu, Huibiao | Article | Mp. category will be shown later |