Some results on complexity of µ-calculus evaluation in the black-box model - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Pawel Parys. Some results on complexity of µ-calculus evaluation in the black-box model. ITA, 47(1):97-109, 2013. [doi]

@article{Parys13,
  title = {Some results on complexity of µ-calculus evaluation in the black-box model},
  author = {Pawel Parys},
  year = {2013},
  doi = {10.1051/ita/2012030},
  url = {http://dx.doi.org/10.1051/ita/2012030},
  researchr = {https://researchr.org/publication/Parys13},
  cites = {0},
  citedby = {0},
  journal = {ITA},
  volume = {47},
  number = {1},
  pages = {97-109},
}

runs on WebDSL