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.
@inproceedings{LayouniLT07,
title = {Conflict Detection in Call Control Using First-Order Logic Model Checking},
author = {Ahmed F. Layouni and Luigi Logrippo and Kenneth J. Turner},
year = {2007},
tags = {model checking, meta-model, logic, Meta-Environment},
researchr = {https://researchr.org/publication/LayouniLT07},
cites = {0},
citedby = {0},
pages = {66-82},
booktitle = {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},
editor = {Lydie du Bousquet and Jean-Luc Richier},
publisher = {IOS Press},
isbn = {978-1-58603-845-8},
}