An enhanced flow analysis technique for detecting unreachability faults in concurrent systems

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]

Possibly Related Publications

The following publications are possibly variants of this publication: