Sign in

A Linear Parallel Algorithm to Compute Bisimulation and Relational Coarsest Partitions.

Jan MartensJan Friso GrooteLars B. van den HaakPieter HijmaAnton Wijs
Published in: FACS (2021)
Keyphrases