Up-To Techniques for Weighted Systems

Reference

Filippo Bonchi, Barbara König, and Sebastian Küpper. Up-to techniques for weighted systems. In Proc. of TACAS '17, Part I, pages 535–552. Springer, 2017. LNCS 10205.

Suggested BibTeX entry:

@inproceedings{BKK17,
    author = {Filippo Bonchi and Barbara K\"onig and Sebastian K\"upper},
    booktitle = {Proc. of TACAS '17, Part~I},
    note = {{LNCS} 10205},
    pages = {535--552},
    publisher = {Springer},
    title = {Up-To Techniques for Weighted Systems},
    year = {2017}
}

Extended versionThis work is not available online here.