Modular Verification of Programmable Logic Controllers with TLA

@inproceedings{pub1623,
    author = {

Wolpers, Andreas
 and 

Stephan, Werner
},
    editor = {

Morel, Gérard
 and 

Vernadat, Francois B.
},
    title = {Modular Verification of Programmable Logic Controllers with TLA},
    booktitle = {INCOM '98 Workshop on Formal verification for Automation Engineering. IFAC Symposium on Information Control in Manufacturing (INCOM)},
    year = {1998},
    pages = {121--126}
}