ICSE11

Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens, Axel Legay. Symbolic model checking of software product lines. In ICSE,, Volume, Pages 321-330, 2011.

Contact

Axel Legay http://www.irisa.fr/distribcom

BibTex Reference

@InProceedings{ICSE11,
   Author = {Classen, Andreas and Heymans, Patrick and Schobbens, Pierre-Yves and Legay, Axel},
   Title = {Symbolic model checking of software product lines},
   BookTitle = {ICSE},
   Volume = {},
   Pages = {321--330},
   Series = {},
   Publisher = {},
   Year = {2011}
}

EndNote Reference [help]

Get EndNote Reference (.ref)