Authors: PROBST ST POWERS GJ LONG DE MOON I

Citation: St. Probst et al., VERIFICATION OF A LOGICALLY CONTROLLED, SOLIDS TRANSPORT-SYSTEM USINGSYMBOLIC MODEL CHECKING, Computers & chemical engineering, 21(4), 1997, pp. 417-429

Authors: MOON I KO D PROBST ST POWERS G

Citation: I. Moon et al., A SYMBOLIC MODEL VERIFIER FOR SAFE CHEMICAL PROCESS SEQUENTIAL CONTROL-SYSTEMS, Journal of Chemical Engineering of Japan, 30(1), 1997, pp. 13-22