Automatic synthesis of implementations for abstract data types from algebraic specifications : Thesis

von Srivas, M.
Veröffentlicht 1982

Optimizing secondary fan location and air quantity to control DPM recirculation in underground workings using Discrete phase modelling

von Morla, R.
Veröffentlicht in North American Mine Ventilation Symposium (18. : 2021 : Online) Mine ventilation (2021)