TY  - SER
AU  - Courtois, Bernard
TI  - Definition and Design of Strongly Language Disjoint Checkers
KW  - Checkers
KW  - Concurrent Error Detection
KW  - Self-Checking Systems
ER  -