External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Conflict Detection in Call Control Using First-Order Logic Model Checking

Ahmed F. Layouni, Luigi Logrippo, Kenneth J. Turner. Conflict Detection in Call Control Using First-Order Logic Model Checking. In Lydie du Bousquet, Jean-Luc Richier, editors, Feature Interactions in Software and Communication Systems IX, International Co nference on Feature Interactions in Software and Communication Systems, ICFI 2007, 3-5 September 2007, Grenoble, France. pages 66-82, IOS Press, 2007.

Abstract

Abstract is missing.

runs on