Login / Signup

Distributed Coalgebraic Partition Refinement.

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