Peter Saffrey. Optimising communication structure for model checking. PhD thesis, University of Glasgow, UK, 2003. [doi]
@phdthesis{ethos-5624, title = {Optimising communication structure for model checking}, author = {Peter Saffrey}, year = {2003}, url = {http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.274173}, note = {British Library, EThOS}, researchr = {https://researchr.org/publication/ethos-5624}, cites = {0}, citedby = {0}, school = {University of Glasgow, UK}, }