W
[Wan04] Farn Wang. Model-Checking Distributed Real-Time Systems with States, Events, and Multiple Fairness Assumptions. In AMAST'04, Lecture Notes in Computer Science 3116, pages 553-567. Springer-Verlag, July 2004. 
@inproceedings{amast2004-Wan,
  author =              {Wang, Farn},
  title =               {Model-Checking Distributed Real-Time Systems with
                         States, Events, and Multiple Fairness Assumptions},
  editor =              {Rattray, Charles and Maharaj, Savi and Shankland,
                         Carron},
  booktitle =           {{P}roceedings of the 10th {I}nternational
                         {C}onference on {A}lgebraic {M}ethodology and
                         {S}oftware {T}echnology ({AMAST}'04)},
  acronym =             {{AMAST}'04},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {3116},
  pages =               {553-567},
  year =                {2004},
  month =               jul,
}
List of authors