Search All Articles

Search by:
An Efficient Model Checking Algorithm for a Fragment of μ-Calculus