W
[WYY11] Farn Wang, Li-Wei Yao, and Ya-Lan Yang. Efficient verification of distributed real-time systems with broadcasting behaviors. Real-Time Systems 47(4):285-318. Kluwer Academic, July 2011. 
@article{rts47(4)-WYY,
  author =              {Wang, Farn and Yao, Li-Wei and Yang, Ya-Lan},
  title =               {Efficient verification of distributed real-time
                         systems with broadcasting behaviors},
  publisher =           {Kluwer Academic},
  journal =             {Real-Time Systems},
  volume =              {47},
  number =              {4},
  pages =               {285-318},
  year =                {2011},
  month =               jul,
}
List of authors