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

@phdthesis{phd/ethos/Wagner11, added-at = {2022-04-05T00:00:00.000+0200}, author = {Wagner, Daniel}, biburl = {https://www.bibsonomy.org/bibtex/270b52d11c73873284db57373b0de254d/dblp}, ee = {https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.528726}, interhash = {83085eaa74d7d75f049901f9a9ebced1}, intrahash = {70b52d11c73873284db57373b0de254d}, keywords = {dblp}, note = {British Library, EThOS}, school = {Imperial College London, UK}, timestamp = {2024-04-09T08:50:26.000+0200}, title = {Finite-state abstractions for probabilistic computation tree logic.}, year = 2011 }