%0 Thesis %1 phd/ethos/Parker03 %A Parker, David Anthony %D 2003 %K dblp %T Implementation of symbolic model checking for probabilistic systems.

@phdthesis{phd/ethos/Parker03, added-at = {2022-04-05T00:00:00.000+0200}, author = {Parker, David Anthony}, biburl = {https://www.bibsonomy.org/bibtex/299c5f2bd97e8ca1e0e891d83866251e0/dblp}, ee = {https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.275703}, interhash = {9a8f229e6da9fa94dc19694f1c6c329b}, intrahash = {99c5f2bd97e8ca1e0e891d83866251e0}, keywords = {dblp}, note = {British Library, EThOS}, school = {University of Birmingham, UK}, timestamp = {2024-04-09T08:50:45.000+0200}, title = {Implementation of symbolic model checking for probabilistic systems.}, year = 2003 }