@InProceedings{BS00,
  author = 	 {Christel Baier and Marielle Stoelinga},
  title = 	 {Norm functions for probabilistic bisimulations with delays},
  booktitle = 	 {Proc. FOSSACS 2000},
  pages =	 {1-16},
  year =	 2000,
  volume =	 1784,
  series =	 {LNCS}
}