@article{Lin02:13,
  title = {A Graphical mu-Calculus and Local Model Checking},
  author = {Huimin Lin},
  year = {2002},
  url = {http://jcst.ict.ac.cn/cone/cone26.html#paper1},
  tags = {model checking, meta-model, Meta-Environment},
  researchr = {https://researchr.org/publication/Lin02%3A13},
  cites = {0},
  citedby = {0},
  journal = {J. Comput. Sci. Technol.},
  volume = {17},
  number = {6},
  pages = {665-671},
}