Tsong Yueh Chen, Peifeng Hu, Hao Li, T. H. Tse. An enhanced flow analysis technique for detecting unreachability faults in concurrent systems. Inf. Sci., 194:254-269, 2012. [doi]
No references recorded for this publication.
No citations of this publication recorded.