Vol-2755⫷ Vol-2756 ⫸Vol-2757
urn:nbn:de:0074-2756-0


Vol-2756/paper7⫷Vol-2756/paper8⫸Vol-2756/paper9
Ruggero LanotteMassimo MerroAndrei Munteanu

A Process Calculus Approach to Correctness Enforcement of PLCs