181133 ⎘
Program-control systems; Pc systems; Pc programming Grafcet
EXPLICIT STATE MODEL CHECKING OF SL/SF MODELS USING THE AUTO-GENERATED CODE