共 50 条
- [6] Invariants and coinvariants of semilocal units modulo elliptic units JOURNAL DE THEORIE DES NOMBRES DE BORDEAUX, 2012, 24 (02): : 487 - 504
- [9] Statically Inferring Complex Heap, Array, and Numeric Invariants STATIC ANALYSIS, 2010, 6337 : 71 - +
- [10] Bifurcations of numeric ally simulated Marangoni flows in floating zones INTERNATIONAL JOURNAL OF BIFURCATION AND CHAOS, 1997, 7 (06): : 1295 - 1305