@article{Balle_2022,
    doi = {10.1016/j.ic.2020.104649},
    url = {https://doi.org/10.1016%2Fj.ic.2020.104649},
    year = {2022},
    month = {jan},
    publisher = {Elsevier {BV}},
    volume = {282},
    pages = {104649},
    author = {Borja Balle and Pascale Gourdeau and Prakash Panangaden},
    title = {Bisimulation metrics and norms for real-weighted automata},
    journal = {Information and Computation}
}

@article{Balle_2022, doi = {10.1016/j.ic.2020.104649}, url = {https://doi.org/10.1016%2Fj.ic.2020.104649}, year = {2022}, month = {jan}, publisher = {Elsevier {BV}}, volume = {282}, pages = {104649}, author = {Borja Balle and Pascale Gourdeau and Prakash Panangaden}, title = {Bisimulation metrics and norms for real-weighted automata}, journal = {Information and Computation} }