Published Robotique An algebraic approach for PLC programs verification Published on 30 September 2002 - 6th International Workshop on Discrete Event Systems (WODES'02) Authors: Jean-Marc Roussel, Jean-Marc Faure See the publication on HAL Prev. Back to the list Next