@InProceedings{lpw:tacas00,
  author = 	 {Fredrik Larsson and Paul Pettersson and Wang Yi},
  title = 	 {{On Memory-Block Traversal Problems in Model Checking 
                   Timed Systems}},
  booktitle = 	 {Proc.\ of the 6{\em th} Conference on Tools and Algorithms 
                  for the Construction and Analysis of Systems},
  pages = 	 {127--141},
  year = 	 2000,
  editor = 	 {Susanne Graf and Michael Schwartzbach},
  number = 	 1785,
  series = 	 {Lecture Notes in Computer Science},
  publisher =    {Springer--Verlag}
}