Login / Signup

Distributed Coalgebraic Partition Refinement.

Fabian BirkmannHans-Peter DeifelStefan Milius
Published in: CoRR (2022)
Keyphrases