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