default search action
BibTeX record conf/fiw/LayouniLT07
@inproceedings{DBLP:conf/fiw/LayouniLT07, author = {Ahmed F. Layouni and Luigi Logrippo and Kenneth J. Turner}, editor = {Lydie du Bousquet and Jean{-}Luc Richier}, title = {Conflict Detection in Call Control Using First-Order Logic Model Checking}, 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}, pages = {66--82}, publisher = {{IOS} Press}, year = {2007}, timestamp = {Tue, 01 Feb 2011 11:58:04 +0100}, biburl = {https://dblp.org/rec/conf/fiw/LayouniLT07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.