影响因子：0.0
论文名称：A Propositional Logic-Based Method for Verification of Feature Models
发表刊物：Proceedings of 6th International Conference on Formal Engineering Methods (ICFEM 2004)
备注：2004
页面范围：115-130
是否译文：否
发表时间：2004-11-01
第一作者：Wei Zhang
全部作者：梅宏, Haiyan Zhao,Wei Zhang