Gwen Salaün. Quantifying the Similarity of Non-bisimilar Labelled Transition Systems. In Javier Cámara, Martin Steffen, editors, Software Engineering and Formal Methods - SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16-20, 2019, Revised Selected Papers. Volume 12226 of Lecture Notes in Computer Science, pages 211-225, Springer, 2019. [doi]
Abstract is missing.