검색결과 : 2건
| No. | Article |
|---|---|
| 1 |
Preface to the Art Westerberg Festschrift Biegler LT, Grossmann IE, Hauan S, Powers GJ, Ydstie BE Industrial & Engineering Chemistry Research, 43(14), 3467, 2004 |
| 2 |
Verification of a Logically Controlled, Solids Transport-System Using Symbolic Model Checking Probst ST, Powers GJ, Long DE, Moon I Computers & Chemical Engineering, 21(4), 417, 1997 |