Published

Robotique

Efficient representation for formal verification of PLC programs

Published on - 8th International Workshop On Discrete Event Systems (WODES'06)

Authors: Vincent Gourcuff, Olivier de Smet, Jean-Marc Faure

See the publication on HAL