%A Arturo Chavoya Pena
%A Arturo Sanchez
%A Kevin Lano
%J Computers and Chemical Engineering
%T Formal Implementation of Procedural Controllers for Event-Driven Sequential Systems in Chemical Processes
%N 2-7
%P 297-302
%V 24
%C Oxford, New york
%D 2000
%I Pergamon Press
%R 10.1016/S0098-1354(00)00481-6
%L publications26550