@dblp

Efficient Model Checking in Fragments of the Propositional Mu-Calculus (Extended Abstract)

, and . LICS, page 267-278. IEEE Computer Society, (1986)

Links and resources

Tags