@article{Desharnais_2004,
    doi = {10.1016/j.tcs.2003.09.013},
    url = {https://doi.org/10.1016%2Fj.tcs.2003.09.013},
    year = {2004},
    month = {jun},
    publisher = {Elsevier {BV}},
    volume = {318},
    number = {3},
    pages = {323--354},
    author = {Jos{\'{e}}e Desharnais and Vineet Gupta and Radha Jagadeesan and Prakash Panangaden},
    title = {Metrics for labelled Markov processes},
    journal = {Theoretical Computer Science}
}

@article{Desharnais_2004, doi = {10.1016/j.tcs.2003.09.013}, url = {https://doi.org/10.1016%2Fj.tcs.2003.09.013}, year = {2004}, month = {jun}, publisher = {Elsevier {BV}}, volume = {318}, number = {3}, pages = {323--354}, author = {Jos{\'{e}}e Desharnais and Vineet Gupta and Radha Jagadeesan and Prakash Panangaden}, title = {Metrics for labelled Markov processes}, journal = {Theoretical Computer Science} }