Žagar D, Vrandečić N, Stoić A. Logical Consistency Validation Tools for Distributed Systems. IJECES [Internet]. 2013Apr.1 [cited 2024Dec.21];4(1):1-11. Available from: https://ijeces.ferit.hr/index.php/ijeces/article/view/867