국제학회
Automatic Verification of the Safety of Chemical Process Operating Procedures using Witness Algorithm
Sejun Goh and Il Moon, "Automatic Verification of the Safety of Chemical Process Operating Procedures using Witness Algorithm," 1997 AIChE Annual Meeting, LA, Nov. 1997.
