국제학회
Formal Verification of Batch Processing Control Procedures
Il Moon and Sandro Macchietto, "Formal Verification of Batch Processing Control Procedures," The 5th International Symposium on Process Systems Engineering, Kyongju, Korea, Proceedings of the PSE, May 30, 1994.
