共 18 条
- [1] Browne M.C.(1988)Characterizing finite kripke structures in propositional temporal logic Theoretical Computer Science 59 115-131
- [2] Clarke E.M.(1989)Analysis of preflow push algorithms for maximum network flow SIAM Journal on Computing 18 1057-1086
- [3] Grumberg O.(1986)Automatic verification of finite-state concurrent systems using temporal logic specifications ACM Transactions on Programming Languages and Systems 8 244-263
- [4] Cheriyan J.(1986)Sometimes and not never revisited: On branching time versus linear time temporal logic Journal of the ACM 33 151-178
- [5] Maheshwari S.N.(1994)Module checking and modular verification ACM Transactions on Programming Languages and Systems 16 843-871
- [6] Clarke E.M.(1983)Optimizing synchronous systems Journal of VLSI and Computer Systems 1 41-67
- [7] Emerson E.A.(1991)Retiming synchronous circuitry Algorithmica 6 5-35
- [8] Sistla A.P.(1993)Computing the initial states of retimed circuits IEEE Transactions on Computer-Aided Design 12 157-162
- [9] Emerson E.A.(undefined)undefined undefined undefined undefined-undefined
- [10] Halpern J.Y.(undefined)undefined undefined undefined undefined-undefined