{"_id":{"_str":"53999be577ca42a10100210b"},"__v":0,"authorIDs":["5480332fa29145d03f000f13"],"author_short":["Hofmann 0001, M.","Ruess, H."],"bibbaseid":"hofmann0001-ruess-certificationformucalculuswithwinningstrategies-2014","bibdata":{"title":"Certification for mu-calculus with winning strategies","author":["Martin Hofmann 0001","Harald Ruess"],"author_short":["Hofmann 0001, M.","Ruess, H."],"bibtype":"article","type":"article","year":"2014","key":"dblp2054990","id":"dblp2054990","biburl":"http://www.dblp.org/rec/bibtex/journals/corr/HofmannR14","url":"http://arxiv.org/abs/1401.1693","journal":"CoRR","volume":"abs/1401.1693","text":"CoRR abs/1401.1693 (2014)","bibtex":"@article{ dblp2054990,\n title = {Certification for mu-calculus with winning strategies},\n author = {Martin Hofmann 0001 and Harald Ruess},\n author_short = {Hofmann 0001, M. and Ruess, H.},\n bibtype = {article},\n type = {article},\n year = {2014},\n key = {dblp2054990},\n id = {dblp2054990},\n biburl = {http://www.dblp.org/rec/bibtex/journals/corr/HofmannR14},\n url = {http://arxiv.org/abs/1401.1693},\n journal = {CoRR},\n volume = {abs/1401.1693},\n text = {CoRR abs/1401.1693 (2014)}\n}","bibbaseid":"hofmann0001-ruess-certificationformucalculuswithwinningstrategies-2014","role":"author","urls":{"Paper":"http://arxiv.org/abs/1401.1693"},"downloads":0},"bibtype":"article","biburl":"http://www.dblp.org/rec/bibtex/journals/corr/HofmannR14","downloads":0,"keywords":[],"search_terms":["certification","calculus","winning","strategies","hofmann 0001","ruess"],"title":"Certification for mu-calculus with winning strategies","year":2014,"dataSources":["pL7oujpEZjiwJz4Cm"]}