국제학회
Automatic Verification of Sequential Control Systems
Il Moon, Arturo Sanchez and Sandro Macchietto, "Automatic Verification of Sequential Control Systems," IChemE meeting, London, Apr. 6, 1993.
134 Shinchon-dong, Seodaemun-gu, Seoul 120-749, Korea. Tel: +82-2-363-9375, Fax: +82-2-312-6401, e-mail: pselab@yonsei.ac.kr
Copyright 2023 PSE Lab. All rights reserved