Home

E._A.__Emerson


Generalized Quantitative Temporal Reasoning

On model-checking for fragments of ??????-calculus

Utilizing Symmetry when Model Checking under Fairness Assumptions: An Automata-theoretic Approach