G Bhat, R Cleaveland - … of the Second International Workshop on Tools …, 1996 - dl.acm.org
Efficent Local Model-Checking for Fragments of teh Modal µ-Calculus | Proceedings of the
Second International Workshop on Tools and Algorithms for Construction and Analysis of …