eTheses Repository

Browse by Author/Supervisor

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

Parker, David Anthony (2003) Implementation of symbolic model checking for probabilistic systems. Ph.D. thesis, University of Birmingham.

Schaeffer, Oksana (2008) On the use of process algebra techniques in computational modelling of cancer initiation and development. Ph.D. thesis, University of Birmingham.

This list was generated on Thu Apr 24 04:11:25 2014 IST.