An algebraic approach for PLC programs verification

Publié le 30 septembre 2002 - 6th International Workshop on Discrete Event Systems (WODES'02)