국내학회
AUTOMATIC VERIFICATION OF THE SAFETY OF CHEMICAL PROCESS OPERATING PROCEDURES USING WITNESS ALGORITM
문일, “AUTOMATIC VERIFICATION OF THE SAFETY OF CHEMICAL PROCESS OPERATING PROCEDURES USING WITNESS ALGORITM”, AICH, 1997.01
AUTOMATIC VERIFICATION OF THE SAFETY OF CHEMICAL PROCESS OPERATING PROCEDURES USING WITNESS ALGORITM
문일, “AUTOMATIC VERIFICATION OF THE SAFETY OF CHEMICAL PROCESS OPERATING PROCEDURES USING WITNESS ALGORITM”, AICH, 1997.01