CIC:lydie-FM99

L. du Bousquet. Feature Interaction Detection using Testing and Model-checking, Experience report. In World Congress on Formal Methods (FM'99), Pages 622-641, Toulouse, France, September 1999.

BibTex Reference

@InProceedings{CIC:lydie-FM99,
   Author = {du Bousquet, L.},
   Title = {{Feature Interaction Detection using Testing and Model-checking, Experience report}},
   BookTitle = {World Congress on Formal Methods (FM'99)},
   Pages = {622--641},
   Address = {Toulouse, France},
   Month = {September},
   Year = {1999}
}

EndNote Reference [help]

Get EndNote Reference (.ref)