Vol-2570⫷ Vol-2571 ⫸Vol-2572
urn:nbn:de:0074-2571-0


Vol-2571/CSP2019_paper_14⫷Vol-2571/CSP2019_paper_2⫸Vol-2571/CSP2019_paper_16
Viorel PreoteasaTimo LatvalaKimmo Varpaaniemi

Modelling Programmable Logic Controllers in Refinement Calculus of Reactive Systems