BibTeX record journals/iandc/StreettE89

download as .bib file

@article{DBLP:journals/iandc/StreettE89,
  author    = {Robert S. Streett and
               E. Allen Emerson},
  title     = {An Automata Theoretic Decision Procedure for the Propositional Mu-Calculus},
  journal   = {Inf. Comput.},
  volume    = {81},
  number    = {3},
  pages     = {249--264},
  year      = {1989}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics