P
[Pin07] Sophie Pinchinat. Quantified Mu-Calculus with Decision Modalities for Concurrent Game Structures. Technical Report TR-CS-07-02, The Australian National University, Australia, janvier 2007. 
@techreport{TRCS0702-Pin,
  author =              {Pinchinat, Sophie},
  title =               {Quantified Mu-Calculus with Decision Modalities for
                         Concurrent Game Structures},
  number =              {TR-CS-07-02},
  year =                {2007},
  month =               jan,
  institution =         {The Australian National University, Australia},
}
Liste des auteurs