top

The Hybrid mu-Calculus

U. Sattler and M. Vardi. The Hybrid mu-Calculus. In Proceedings of IJCAR'01, Siena, June 2001.

Download: [pdf] 

Abstract:

(unavailable)

BibTeX: (download)

@INPROCEEDINGS{sattler01:_hybrid_calcul,
  author = {U. Sattler and M. Vardi},
  title = {The Hybrid mu-Calculus},
  booktitle = {Proceedings of IJCAR'01},
  year = {2001},
  address = {Siena},
  month = {June},
}

Generated by bib2html.pl (written by Patrick Riley ) on Mon Aug 10, 2009 14:52:33