Distributed Coalgebraic Partition Refinement.

Fabian Birkmann, Hans-Peter Deifel, Stefan Milius

Browse the full TACAS paper archive.