@inproceedings{llpw:rtss97,
  author = 	 {Fredrik Larsson and Kim G.\ Larsen and Paul Pettersson and
                  Wang Yi},
  title = 	 {{Efficient Verification of Real-Time Systems: Compact Data 
                  Structures and State-Space Reduction}},
  booktitle = 	 {Proc.\ of the {\sl 18{\em th} IEEE Real-Time Systems 
                  Symposium}},
  publisher =    {IEEE Computer Society Press},
  month =        Dec,
  pages =        {14--24},
  year = 	 {1997}
}