Paulo Henrique M. Maia. Improving the accuracy of probablastic behaviour models using state refinement. PhD thesis, Imperial College London, UK, 2011. [doi]
@phdthesis{ethos-2979, title = {Improving the accuracy of probablastic behaviour models using state refinement}, author = {Paulo Henrique M. Maia}, year = {2011}, url = {http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.534955}, note = {British Library, EThOS}, researchr = {https://researchr.org/publication/ethos-2979}, cites = {0}, citedby = {0}, school = {Imperial College London, UK}, }