P
[PR90] Amir Pnueli et Roni Rosner. Distributed Reactive Systems Are Hard to Synthesize. In FOCS'90, pages 746-757. IEEE Comp. Soc. Press, octobre 1990. 
@inproceedings{focs1990-PR,
  author =              {Pnueli, Amir and Rosner, Roni},
  title =               {Distributed Reactive Systems Are Hard to Synthesize},
  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 =               {746-757},
  year =                {1990},
  month =               oct,
}
Liste des auteurs