Ambiguous Classes in the Games µ-Calculus Hierarchy. Arnold, A. & Santocanale, L. In Proceedings of FOSSACS, pages 70-86, 2003.
Ambiguous Classes in the Games µ-Calculus Hierarchy [link]Paper  bibtex   
@inproceedings{ dblp4058496,
  title = {Ambiguous Classes in the Games µ-Calculus Hierarchy},
  author = {André Arnold and Luigi Santocanale},
  author_short = {Arnold, A. and Santocanale, L.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {2003},
  key = {dblp4058496},
  id = {dblp4058496},
  biburl = {http://www.dblp.org/rec/bibtex/conf/fossacs/ArnoldS03},
  url = {http://dx.doi.org/10.1007/3-540-36576-1_5},
  conference = {FOSSACS},
  pages = {70-86},
  text = {FoSSaCS 2003:70-86},
  booktitle = {Proceedings of FOSSACS}
}

Downloads: 0