E
[EFM99] Javier Esparza, Alain Finkel, and Richard Mayr. On the verification of broadcast protocols. In LICS'99, pages 352-359. IEEE Comp. Soc. Press, July 1999. 
@inproceedings{lics1999-EFM,
  author =              {Esparza, Javier and Finkel, Alain and Mayr, Richard},
  title =               {On the verification of broadcast protocols},
  booktitle =           {{P}roceedings of the 14th {A}nnual {S}ymposium on
                         {L}ogic in {C}omputer {S}cience ({LICS}'99)},
  acronym =             {{LICS}'99},
  publisher =           {IEEE Comp. Soc. Press},
  pages =               {352-359},
  year =                {1999},
  month =               jul,
  doi =                 {10.1109/LICS.1999.782630},
}
List of authors