共 50 条
- [31] Two-Way Collaboration Between Flow and Proof in SPARK VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, VMCAI 2025, PT I, 2025, 15529 : 163 - 183
- [33] Numerical Simulation of Gas and Liquid Two-Phase Flow in Gas-Stirred Systems Based on Euler-Euler Approach METALLURGICAL AND MATERIALS TRANSACTIONS B-PROCESS METALLURGY AND MATERIALS PROCESSING SCIENCE, 2013, 44 (05): : 1251 - 1263
- [34] A Physical Model Study of Two-Phase Gas-Liquid Flows in a Ladle Shroud METALLURGICAL AND MATERIALS TRANSACTIONS B-PROCESS METALLURGY AND MATERIALS PROCESSING SCIENCE, 2018, 49 (04): : 1945 - 1962
- [39] Stellar and gas kinematics in the two-way galaxy NGC 4550 STARS, GAS AND DUST IN GALAXIES: EXPLORING THE LINKS, PROCEEDINGS, 2000, 221 : 253 - 256