국제학회
Synthesis of Safe Operating Procedure for Batch Processes using Symbolic Model Verifier
Jinkyung Kim and Il Moon, "Synthesis of Safe Operating Procedure for Batch Processes using Symbolic Model Verifier," Process Systems Engineering Asia 2000 Conference, Kyoto, Japan, Dec. 8, 2000.
