Kedian Mu, Zhi Jin, Ruqian Lu, Weiru Liu. Measuring Inconsistency in Requirements Specifications. In Lluis Godo, editor, Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 8th European Conference, ECSQARU 2005, Barcelona, Spain, July 6-8, 2005, Proceedings. Volume 3571 of Lecture Notes in Computer Science, pages 440-451, Springer, 2005. [doi]
Abstract is missing.