共 50 条
- [22] DISPERSIVE TRIPLET EXCITATION TRANSPORT IN ORGANIC GLASSES JOURNAL OF CHEMICAL PHYSICS, 1986, 84 (06): : 3567 - 3572
- [27] η-invariants and the Poincare-Hopf index formula GEOMETRY AND TOPOLOGY OF SUBMANIFOLDS X: DIFFERENTIAL GEOMETRY IN HONOR OF PROF S.S. CHERN, 2000, : 336 - 345
- [28] A NEW VONMISES PROBABILISTIC FORMULA FOR QUARTET INVARIANTS ACTA CRYSTALLOGRAPHICA SECTION A, 1989, 45 : 141 - 143
- [30] Formula Slicing: Inductive Invariants from Preconditions HARDWARE AND SOFTWARE: VERIFICATION AND TESTING, HVC 2016, 2016, 10028 : 169 - 185