@InProceedings{dblw03,
  author = 	 {Alexandre David and Gerd Behrmann and Kim Guldstrand Larsen and Wang Yi},
  title = 	 {Unification \& Sharing in Timed Automata Verification},
  booktitle = {SPIN Workshop 03},
  year = 	 {2003},
  series = 	 {LNCS}
}