Found: 9
Select item for more details and to access through your institution.
Automatic verification of sequential control systems using temporal logic.
- Published in:
- AIChE Journal, 1992, v. 38, n. 1, p. 67, doi. 10.1002/aic.690380107
- By:
- Publication type:
- Article
High gradient magnetic separation in a viscous flow field.
- Published in:
- AIChE Journal, 1980, v. 26, n. 6, p. 1041, doi. 10.1002/aic.690260621
- By:
- Publication type:
- Article
Capture of small paramagnetic particles by magnetic forces from low speed fluid flows.
- Published in:
- AIChE Journal, 1976, v. 22, n. 3, p. 569, doi. 10.1002/aic.690220322
- By:
- Publication type:
- Article
Errata.
- Published in:
- AIChE Journal, 1975, v. 21, n. 3, p. 623, doi. 10.1002/aic.690210343
- By:
- Publication type:
- Article
Synthesis of fault tolerant reaction paths.
- Published in:
- AIChE Journal, 1975, v. 21, n. 1, p. 90, doi. 10.1002/aic.690210111
- By:
- Publication type:
- Article
Synthesis of distillation systems with energy integration.
- Published in:
- AIChE Journal, 1974, v. 20, n. 5, p. 940, doi. 10.1002/aic.690200515
- By:
- Publication type:
- Article
Synthesis strategies for multicomponent separation systems with energy integration.
- Published in:
- AIChE Journal, 1974, v. 20, n. 3, p. 491, doi. 10.1002/aic.690200309
- By:
- Publication type:
- Article
Fault tree synthesis for chemical processes.
- Published in:
- AIChE Journal, 1974, v. 20, n. 2, p. 376, doi. 10.1002/aic.690200226
- By:
- Publication type:
- Article
Reaction path synthesis strategies.
- Published in:
- AIChE Journal, 1973, v. 19, n. 6, p. 1204, doi. 10.1002/aic.690190618
- By:
- Publication type:
- Article