L
[LRL98] Zhiming Liu, Anders P. Ravn, and Xiaochan Li. Verifying Duration Properties of Timed Transition Systems. In PROCOMET'98, IFIP Conference Proceedings 125, pages 327-345. Chapman & Hall, June 1998. 
@inproceedings{ifipprocomet1998-LRL,
  author =              {Liu, Zhiming and Ravn, Anders P. and Li, Xiaochan},
  title =               {Verifying Duration Properties of Timed Transition
                         Systems},
  editor =              {Gries, David and de Roever, Willem-Paul},
  booktitle =           {{P}roceedings of the 2nd {IFIP} {I}nternational
                         {C}onference on {P}rogramming {C}oncepts and
                         {M}ethods ({PROCOMET}'98)},
  acronym =             {{PROCOMET}'98},
  publisher =           {Chapman \& Hall},
  series =              {IFIP Conference Proceedings},
  volume =              {125},
  pages =               {327-345},
  year =                {1998},
  month =               jun,
}
List of authors