%0 Thesis %1 phd/ethos/Wagner11 %A Wagner, Daniel %D 2011 %K %T Finite-state abstractions for probabilistic computation tree logic.

@phdthesis{phd/ethos/Wagner11, added-at = {2023-12-13T02:44:46.000+0100}, author = {Wagner, Daniel}, biburl = {https://www.bibsonomy.org/bibtex/270b52d11c73873284db57373b0de254d/admin}, ee = {http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.528726}, interhash = {83085eaa74d7d75f049901f9a9ebced1}, intrahash = {70b52d11c73873284db57373b0de254d}, keywords = {}, note = {British Library, EThOS}, school = {Imperial College London, UK}, timestamp = {2023-12-13T02:44:46.000+0100}, title = {Finite-state abstractions for probabilistic computation tree logic.}, year = 2011 }