View of Behavioural Equivalences on Finite-State Systems are PTIME-hard

Return to Article Details Behavioural Equivalences on Finite-State Systems are PTIME-hard Download Download PDF