M
[MP90] Oded Maler et Amir Pnueli. Tight Bounds on the Complexity of Cascaded Decomposition of Automata. In FOCS'90, pages 672-682. IEEE Comp. Soc. Press, octobre 1990. 
@inproceedings{focs1990-MP,
  author =              {Maler, Oded and Pnueli, Amir},
  title =               {Tight Bounds on the Complexity of Cascaded
                         Decomposition of Automata},
  booktitle =           {{P}roceedings of the 31st {A}nnual {S}ymposium on
                         {F}oundations of {C}omputer {S}cience ({FOCS}'90)},
  acronym =             {{FOCS}'90},
  publisher =           {IEEE Comp. Soc. Press},
  pages =               {672-682},
  year =                {1990},
  month =               oct,
}
Liste des auteurs