2003 | ||
---|---|---|
2 | Andrei V. Smirnov, Wade W. Huebsch, C. Menchini: A Flow-solver with Flexible Boundaries. Modelling and Simulation 2003: 258-263 | |
1993 | ||
1 | F. Levi, C. Menchini: Abductive Proof Procedures for Fault Diagnosis. GULP 1993: 549-568 |
1 | Wade W. Huebsch | [2] |
2 | F. Levi | [1] |
3 | Andrei V. Smirnov | [2] |