The Journal of China Universities of Posts and Telecommunications
Detecting feature interactions in Web services with model checking techniques
ZHANG Jian-yin; YANG Fang-chun; SU Sen
Acta Metallurgica Sinica(English letters) . 2007, (3): 108 -112 .  DOI: 1005-8885 (2007) 03-0108-05

Copyright © 2020 The Journal of China Universities of Posts and Telecommunications
　 Adress: P.O. Box 231,Beijing University of Posts and Telecommunications,10 Xi Tucheng Road,Beijing 100876,P.R.China　Post Code: 100081
Tel：86-010-62282493　Fax： 86-010-62283461　E-mail: jchupt@bupt.edu.cn
Support by: Beijing Magtech Co.Ltd