Anca Goron, Carlos Iván Chesñevar. HLMC: a Hybrid Logic Tool for Model Checking in Verification of Administrative Processes. In John Carlo Bertot, Elsa Estevez, Sehl Mellouli, editors, Proceedings of the 9th International Conference on Theory and Practice of Electronic Governance, ICEGOV 2016, Montevideo, Uruguay, March 1-3, 2016. pages 376-377, ACM, 2016. [doi]
Abstract is missing.