Feature Interactions and Formal Specifications in Telecommunications

Pamela Zave. Feature Interactions and Formal Specifications in Telecommunications. IEEE Computer, 26(8):20-30, 1993.

Abstract

Abstract is missing.