Z
[ZSS04] Shipei Zhang, Oleg Sokolsky et Scott A. Smolka. On the Parallel Complexity of Model Checking in the Modal Mu-Calculus. In LICS'04, pages 154-163. IEEE Comp. Soc. Press, juillet 2004. 
@inproceedings{lics1994-ZSS,
  author =              {Zhang, Shipei and Sokolsky, Oleg and Smolka, Scott
                         A.},
  title =               {On the Parallel Complexity of Model Checking in the
                         Modal Mu-Calculus},
  booktitle =           {{P}roceedings of the 19th {A}nnual {S}ymposium on
                         {L}ogic in {C}omputer {S}cience ({LICS}'04)},
  acronym =             {{LICS}'04},
  publisher =           {IEEE Comp. Soc. Press},
  pages =               {154-163},
  year =                {2004},
  month =               jul,
}
Liste des auteurs