E
[EL86] E. Allen Emerson et Chin-Laung Lei. Efficient Model Checking in Fragments of the Propositional Mu-Calculus. In LICS'86, pages 267-278. IEEE Comp. Soc. Press, juin 1986. 
@inproceedings{lics1986-EL,
  author =              {Emerson, E. Allen and Lei, Chin-Laung},
  title =               {Efficient Model Checking in Fragments of the
                         Propositional Mu-Calculus},
  booktitle =           {{P}roceedings of the 1st {A}nnual {S}ymposium on
                         {L}ogic in {C}omputer {S}cience ({LICS}'86)},
  acronym =             {{LICS}'86},
  publisher =           {IEEE Comp. Soc. Press},
  pages =               {267-278},
  year =                {1986},
  month =               jun,
}
Liste des auteurs