Skip to content

An Invariant Preserving Transformation for PLC Models.

Jan Olaf Blech, Anton Hattendorf, Jia Huang

VenueCISORC
Year2011
ProceedingsISORC Workshops

Browse the full ISORC paper archive.