%0 Thesis %1 phd/ethos/Hague09 %A Hague, Matthew %D 2009 %K %T Saturation methods for global model-checking pushdown systems.

@phdthesis{phd/ethos/Hague09, added-at = {2023-12-13T01:46:19.000+0100}, author = {Hague, Matthew}, biburl = {https://www.bibsonomy.org/bibtex/2124977260dca2e2875a4cf3952d576df/admin}, ee = {http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.504366}, interhash = {7635f947534a010927c2731027905ea4}, intrahash = {124977260dca2e2875a4cf3952d576df}, keywords = {}, note = {British Library, EThOS}, school = {University of Oxford, UK}, timestamp = {2023-12-13T01:46:19.000+0100}, title = {Saturation methods for global model-checking pushdown systems.}, year = 2009 }