3 citations · 5 across the 9 of their papers we have counts for
1 paper · 1 filter
Gaoyan Xie, Zhe Dang
The global testing problem studied in this paper is to seek a definite answer to whether a system of concurrent black-boxes has an observable behavior in a given finite (but could…