B
[BTY97] Ahmed Bouajjani, Stavros Tripakis, and Sergio Yovine. On-the-Fly Symbolic Model Checking for Real-Time Systems. In RTSS'97, pages 25-35. IEEE Comp. Soc. Press, December 1997. 
@inproceedings{rts1997-BTY,
  author =              {Bouajjani, Ahmed and Tripakis, Stavros and Yovine,
                         Sergio},
  title =               {On-the-Fly Symbolic Model Checking for Real-Time
                         Systems},
  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 =               {25-35},
  year =                {1997},
  month =               dec,
}
List of authors