Žagar, Drago, Nino Vrandečić, and Antun Stoić. “Logical Consistency Validation Tools for Distributed Systems”. International Journal of Electrical and Computer Engineering Systems 4, no. 1 (April 1, 2013): 1-11. Accessed December 21, 2024. https://ijeces.ferit.hr/index.php/ijeces/article/view/867.