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.

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

This list was generated on Wed Jul 30 04:25:38 2014 IST.