국제학회
Symbolic Model Verifier for the Formal Testing of Discrete Chemical Process Control Systems
Il Moon and G. J. Powers, "Symbolic Model Verifier for the Formal Testing of Discrete Chemical Process Control Systems," 1991 Annual AIChE Meeting, Los Angeles, CA, Paper 150f, Nov. 1991.
