Efficient Model Checking in Fragments of the Propositional Mu-calculus.
Year: 1986
Type: article
Source: Logic in Computer Science
Authors: E. Allen Emerson, Chin Laung Lei
Institution: The University of Texas at Austin
Language: English
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
OpenAlex ID: W42134522