Zdilar M. Model Checking Access Control Protocol for Spreadsheets. J. inf. organ. sci. (Online) [Internet]. 2025 Apr. 21 [cited 2025 Jul. 2];49(1). Available from: //jios.foi.hr/index.php/jios/article/view/2518