%0 Thesis %1 phd/ethos/Turner07a %A Turner, Edward Nanakorn %D 2007 %K dblp %T Improving the Process of Model Checking through State Space Reductions.

@phdthesis{phd/ethos/Turner07a, added-at = {2022-04-05T00:00:00.000+0200}, author = {Turner, Edward Nanakorn}, biburl = {https://www.bibsonomy.org/bibtex/27b8dfafde13338ac584b6d311e0b33cf/dblp}, ee = {https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.485295}, interhash = {77fc73842a2855ec3c8c07f3b47ee867}, intrahash = {7b8dfafde13338ac584b6d311e0b33cf}, keywords = {dblp}, note = {British Library, EThOS}, school = {University of Southampton, UK}, timestamp = {2024-04-09T08:53:59.000+0200}, title = {Improving the Process of Model Checking through State Space Reductions.}, year = 2007 }