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

@phdthesis{phd/ethos/Haase12, added-at = {2016-08-19T00:00:00.000+0200}, author = {Haase, Christoph}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/22b785e5959f5e85ca39468bc619ee5d5/dblp}, ee = {http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.558436}, interhash = {4578a31648e75b46971ad614c238baba}, intrahash = {2b785e5959f5e85ca39468bc619ee5d5}, keywords = {dblp}, note = {British Library, EThOS}, school = {University of Oxford, UK}, timestamp = {2016-08-20T09:32:16.000+0200}, title = {On the complexity of model checking counter automata.}, year = 2012 }