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

by E. A. Emerson , A. P. Sistla
Citations:68 - 17 self