Diagnosability under Weak Fairness

Vasileios Germanos, Stefan Haar, Victor Khomenko, Stefan Schwoon. Diagnosability under Weak Fairness. In 14th International Conference on Application of Concurrency to System Design, ACSD 2014, Tunis La Marsa, Tunisia, June 23-27, 2014. pages 132-141, IEEE, 2014. [doi]

Authors

Vasileios Germanos

This author has not been identified. Look up 'Vasileios Germanos' in Google

Stefan Haar

This author has not been identified. Look up 'Stefan Haar' in Google

Victor Khomenko

This author has not been identified. It may be one of the following persons: Look up 'Victor Khomenko' in Google

Stefan Schwoon

This author has not been identified. Look up 'Stefan Schwoon' in Google