eTheses Repository

Browse by Author/Supervisor

Up a level
Export as [feed] RSS 2.0 [feed] RSS 1.0 [feed] Atom
Number of items: 1.

Koleini, Masoud (2012) Verification of temporal-epistemic properties of access control systems. Ph.D. thesis, University of Birmingham.

This list was generated on Sat Nov 1 02:33:06 2014 GMT.