Publication | Closed Access

An automata theoretic decision procedure for the propositional mu-calculus

Decision ProcedureLogical AutomatonEngineeringAutomated ReasoningPropositional LogicFormal MethodsComputer ScienceFormal VerificationPropositional Mu-calculus