Diagnosability under Weak Fairness

Vasileios Germanos, Stefan Haar, Victor Khomenko, Stefan Schwoon. Diagnosability under Weak Fairness. ACM Trans. Embedded Comput. Syst., 14(4):69, 2015. [doi]

Abstract

Abstract is missing.