Authors: Tsai, JJP Xu, KA

Citation: Jjp. Tsai et Ka. Xu, An empirical evaluation of deadlock detection in software architecture specifications, ANN SOFTW E, 7, 1999, pp. 95-126