TY  - JOUR
A1  - Tarnick, Steffen
T1  - Controllable self-checking checkers for conditional concurrent checking
Y1  - 1995
UR  - https://publishup.uni-potsdam.de/frontdoor/index/index/docId/27631
ER  -