K
[KV01] Orna Kupferman and Moshe Y. Vardi. Synthesizing Distributed Systems. In LICS'01, pages 389-398. IEEE Comp. Soc. Press, June 2001. 
@inproceedings{lics2001-KV,
  author =              {Kupferman, Orna and Vardi, Moshe Y.},
  title =               {Synthesizing Distributed Systems},
  booktitle =           {{P}roceedings of the 16th {A}nnual {S}ymposium on
                         {L}ogic in {C}omputer {S}cience ({LICS}'01)},
  acronym =             {{LICS}'01},
  publisher =           {IEEE Comp. Soc. Press},
  pages =               {389-398},
  year =                {2001},
  month =               jun,
  doi =                 {10.1109/LICS.2001.932514},
}
List of authors