Login / Signup

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

E. Allen EmersonA. Prasad Sistla
Published in: ACM Trans. Program. Lang. Syst. (1997)
Keyphrases