L
[LLP+97] Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, and Wang Yi. Efficient verification of real-time systems: compact data structure and state-space reduction. In RTSS'97, pages 14-24. IEEE Comp. Soc. Press, December 1997. 
@inproceedings{rtss1997-LLPY,
  author =              {Larsen, Kim Guldstrand and Larsson, Fredrik and
                         Pettersson, Paul and Yi, Wang},
  title =               {Efficient verification of real-time systems: compact
                         data structure and state-space reduction},
  booktitle =           {{P}roceedings of the 18th {S}ymposium on {R}eal-Time
                         {S}ystems ({RTSS}'97)},
  acronym =             {{RTSS}'97},
  publisher =           {IEEE Comp. Soc. Press},
  pages =               {14-24},
  year =                {1997},
  month =               dec,
}
List of authors