Efficient Model Checking via the Equational µ-Calculus.

Girish Bhat, Rance Cleaveland

Browse the full LICS paper archive.