@inproceedings{bs00,
author =        {C. Baier and M.I.A. Stoelinga},
booktitle =     {Proceedings of 3rd International Conference on Foundations 
                of Science and Computation ctures (FOSSACS)},
title =         {Norm fuctions for probabilistic bisimulations with delays},
editor =        {J. Tiuryn},
year =          2000,
series =        lncs,
volume =        1784,
publisher =     {Springer},
pages =         {1--16}
}