GPU Accelerated Strong and Branching Bisimilarity Checking.

Anton Wijs

Browse the full TACAS paper archive.