Details for the publication Bohn0LS25.

León Bohn, Yong Li, Christof Löding, Sven Schewe (): Saturation Problems for Families of Automata. In 52nd International Colloquium on Automata, Languages, and Programming, ICALP 2025, Aarhus, Denmark, July 8-11, 2025, volume 334 of LIPIcs, pages 146:1-146:19},, 2025. DOI BIB