@InProceedings{dblw03,
  author = 	 {Gerd Behrmann and Alexandre David and Kim G. Larsen and 
                  Wang Yi},
  title = 	 {Unification \& Sharing in Timed Automata Verification},
  booktitle = {SPIN Workshop 03},
  year = 	 {2003},
  volume = {2648},
  pages = {225--229},
  series = 	 {LNCS}
}