View of On Reasoning about Infinite-State Systems in the Modal µ-Calculus

Return to Article Details On Reasoning about Infinite-State Systems in the Modal µ-Calculus Download Download PDF