Author:
Kordic Branislav,Popovic Miroslav,Ghilezan Silvia
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Complete formal verification of the PSTM transaction Scheduler;Computer Science and Information Systems;2023
2. Formal Verification of Distributed Master-Slave Finite State Machine;2021 29th Telecommunications Forum (TELFOR);2021-11-23
3. Parsing via Regular Expressions;2021 IEEE 19th World Symposium on Applied Machine Intelligence and Informatics (SAMI);2021-01-21
4. Fault Tolerant Distributed Python Software Transactional Memory;Advances in Electrical and Computer Engineering;2020