共 50 条
- [31] Speculative SAT Modulo SAT [J]. TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PT I, TACAS 2024, 2024, 14570 : 43 - 60
- [32] OVERHAUL AND RECONSTRUCTION OF AN AUTOCLAVE [J]. STRUCTURAL INTEGRITY AND LIFE-INTEGRITET I VEK KONSTRUKCIJA, 2008, 8 (03): : 171 - 180
- [36] Will congress overhaul FDA? [J]. BIOPHARM-THE APPLIED TECHNOLOGIES OF BIOPHARMACEUTICAL DEVELOPMENT, 1996, 9 (04): : 16 - +