relation: https://publications.ut-capitole.fr/id/eprint/26550/ title: Formal Implementation of Procedural Controllers for Event-Driven Sequential Systems in Chemical Processes creator: Chavoya Pena, Arturo creator: Sanchez, Arturo creator: Lano, Kevin subject: H- INFORMATIQUE publisher: Pergamon Press date: 2000 type: Article type: PeerReviewed identifier: Chavoya Pena, Arturo , Sanchez, Arturo and Lano, Kevin (2000) Formal Implementation of Procedural Controllers for Event-Driven Sequential Systems in Chemical Processes. Computers and Chemical Engineering, 24 (2-7). pp. 297-302. relation: 10.1016/S0098-1354(00)00481-6 identifier: 10.1016/S0098-1354(00)00481-6 doi: 10.1016/S0098-1354(00)00481-6 language: en