%0 Thesis %1 phd/ethos/Lange03 %A Lange, Martin %D 2003 %K %T Games for modal and temporal logics.

@phdthesis{phd/ethos/Lange03, added-at = {2023-12-13T09:18:10.000+0100}, author = {Lange, Martin}, biburl = {https://www.bibsonomy.org/bibtex/202c6c1afca82442d078ee5a8dd3cd82b/admin}, ee = {http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.561823}, interhash = {ccbbe911a210e62a8287c2f063ea0749}, intrahash = {02c6c1afca82442d078ee5a8dd3cd82b}, keywords = {}, note = {British Library, EThOS}, school = {University of Edinburgh, UK}, timestamp = {2023-12-13T09:18:10.000+0100}, title = {Games for modal and temporal logics.}, year = 2003 }