P. H. M. van Spaendonck, Kevin H. J. Jilissen. Mining Diamonds in Labelled Transition Systems. In Philipp Rümmer, Zhilin Wu, editors, Theoretical Aspects of Software Engineering - 19th International Symposium, TASE 2025, Limassol, Cyprus, July 14-16, 2025, Proceedings. Volume 15841 of Lecture Notes in Computer Science, pages 104-121, Springer, 2025. [doi]
Abstract is missing.