Masoud Koleini. Verification of temporal-epistemic properties of access control systems. PhD thesis, University of Birmingham, UK, 2012. [doi]
@phdthesis{ethos-1777, title = {Verification of temporal-epistemic properties of access control systems}, author = {Masoud Koleini}, year = {2012}, url = {http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.558938}, note = {British Library, EThOS}, researchr = {https://researchr.org/publication/ethos-1777}, cites = {0}, citedby = {0}, school = {University of Birmingham, UK}, }