J
[JW95] David Janin et Igor Walukiewicz. Automata for the Modal μ-Calculus and Related Results. In MFCS'95, Lecture Notes in Computer Science 969, pages 552-562. Springer-Verlag, août 1995.
@inproceedings{mfcs1995-JW,
  author =              {Janin, David and Walukiewicz, Igor},
  title =               {Automata for the Modal {\(\mu\)}-Calculus and
                         Related Results},
  editor =              {Wiedermann, Jir{\'\i} and H{\'a}jek, Petr},
  booktitle =           {{P}roceedings of the 20th {I}nternational
                         {S}ymposium on {M}athematical {F}oundations of
                         {C}omputer {S}cience ({MFCS}'95)},
  acronym =             {{MFCS}'95},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {969},
  pages =               {552-562},
  year =                {1995},
  month =               aug,
}
Liste des auteurs