Distributed Coalgebraic Partition Refinement - Birkmann, Fabian; Deifel, Hans-Peter; Milius, Stefan (TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, TACAS 2022, PT II, 2022)
CRIS-Team WoS Importer:2022-04-29