Žagar, D., Vrandečić, N. and Stoić, A. (2013) “Logical Consistency Validation Tools for Distributed Systems”, International Journal of Electrical and Computer Engineering Systems, 4(1), pp. 1-11. Available at: https://ijeces.ferit.hr/index.php/ijeces/article/view/867 (Accessed: 21December2024).