Vol-411⫷ Vol-412 ⫸Vol-413
urn:nbn:de:0074-412-0


Vol-412/paper-1⫷Vol-412/paper-2⫸Vol-412/paper-3

Verification of an Industrial Rule-based Manufacturing System Using REX