L
[Lan05] Martin Lange. Weak Automata for the Linear Time μ-Calculus. In VMCAI'05, Lecture Notes in Computer Science 3385, pages 267-281. Springer-Verlag, janvier 2005.
@inproceedings{vmcai2005-Lan,
  author =              {Lange, Martin},
  title =               {Weak Automata for the Linear Time
                         {\(\mu\)}-Calculus},
  editor =              {Cousot, Radhia},
  booktitle =           {{P}roceedings of the 6th {I}nternational {W}orkshop
                         on {V}erification, {M}odel {C}hecking, and
                         {A}bstract {I}nterpretation ({VMCAI}'05)},
  acronym =             {{VMCAI}'05},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {3385},
  pages =               {267-281},
  year =                {2005},
  month =               jan,
}
Liste des auteurs