Paper bibtex

@article{ dblp2054990, title = {Certification for mu-calculus with winning strategies}, author = {Martin Hofmann 0001 and Harald Ruess}, author_short = {Hofmann 0001, M. and 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)} }

Downloads: 0