共 31 条
- [1] Agematsu S, 2001, IEE CONF PUBL, P351, DOI 10.1049/cp:20010172
- [2] Archer BA, 2002, IEEE CCEC 2002: CANADIAN CONFERENCE ON ELECTRCIAL AND COMPUTER ENGINEERING, VOLS 1-3, CONFERENCE PROCEEDINGS, P60, DOI 10.1109/CCECE.2002.1015175
- [3] BRYANT RE, 1986, IEEE T COMPUT, V35, P677, DOI 10.1109/TC.1986.1676819
- [4] BRYANT RE, 1992, COMPUT SURV, V24, P293, DOI 10.1145/136035.136043
- [5] Burch JR, 1990, P 5 ANN IEEE S LOG C, P428, DOI DOI 10.1109/LICS.1990.113767
- [6] Elgerd OI., 1982, ELECT ENERGY SYSTEMS
- [7] JONSSON M, 2001, LINE PROTECTION POWE
- [8] KIM KH, 1982, BOOLEAN MATRIX THEOR
- [10] MCMILLAN KL, SMV SYSTEM SMV VERSI