Fast Mu-calculus Model Checking when Tree-width is Bounded (bibtex)
by J. Obdržálek
Reference:
Fast Mu-calculus Model Checking when Tree-width is Bounded (J. Obdržálek), In CAV 2003, Springer, volume 2725 of LNCS, 2003.
Bibtex Entry:
@inproceedings{obd03,
  author =        {J. Obdr{ž}{á}lek},
  booktitle =     {CAV 2003},
  pages =         {80-92},
  publisher =     {Springer},
  series =        {LNCS},
  title =         {Fast Mu-calculus Model Checking when Tree-width is
                   Bounded},
  volume =        {2725},
  year =          {2003},
  doi =           {10.1007/978-3-540-45069-6_7},
}
Powered by bibtexbrowser