Jan Martens 0001, Maurice Laveaux. Faster Signature Refinement for Branching Bisimilarity Minimization. In Sebastian Junges, Guy Katz, editors, Tools and Algorithms for the Construction and Analysis of Systems - 32nd International Conference, TACAS 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April 11-16, 2026, Proceedings, Part I. Volume 16505 of Lecture Notes in Computer Science, pages 438-456, Springer, 2026. [doi]
@inproceedings{MartensL26,
title = {Faster Signature Refinement for Branching Bisimilarity Minimization},
author = {Jan Martens 0001 and Maurice Laveaux},
year = {2026},
doi = {10.1007/978-3-032-22752-2_23},
url = {https://doi.org/10.1007/978-3-032-22752-2_23},
researchr = {https://researchr.org/publication/MartensL26},
cites = {0},
citedby = {0},
pages = {438-456},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems - 32nd International Conference, TACAS 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April 11-16, 2026, Proceedings, Part I},
editor = {Sebastian Junges and Guy Katz},
volume = {16505},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-032-22752-2},
}