共 50 条
- [2] Twenty years of formal methods PROCEEDINGS OF THE 1999 IEEE SYMPOSIUM ON SECURITY AND PRIVACY, 1999, : 115 - 116
- [7] ADHESION: A REVIEW OF VARIOUS TEST METHODS. Journal of water borne coatings, 1985, 8 (03): : 2 - 6
- [8] REVIEW OF VINYL ACETATE SYNTHESIS METHODS. Yuki Gosei Kagaku Kyokaishi/Journal of Synthetic Organic Chemistry, 1987, 45 (07): : 691 - 700
- [9] Practical predictions by single-point closure methods - twenty years of experience Proceedings of the International Centre for Heat and Mass Transfer, 1988,