%0 Thesis %1 phd/ethos/Haase12 %A Haase, Christoph %D 2012 %K %T On the complexity of model checking counter automata.

@phdthesis{phd/ethos/Haase12, added-at = {2023-12-12T21:59:15.000+0100}, author = {Haase, Christoph}, biburl = {https://www.bibsonomy.org/bibtex/22b785e5959f5e85ca39468bc619ee5d5/admin}, ee = {http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.558436}, interhash = {4578a31648e75b46971ad614c238baba}, intrahash = {2b785e5959f5e85ca39468bc619ee5d5}, keywords = {}, note = {British Library, EThOS}, school = {University of Oxford, UK}, timestamp = {2023-12-12T21:59:15.000+0100}, title = {On the complexity of model checking counter automata.}, year = 2012 }