@article{10.1109/SPLC.2011.39,
author = {Rick Rabiser, and Martin Becker, and Karina Villela, and David Benavides, and Peter Y.H. Wong, and Martin Leucker, },
title = {Formal Methods and Analysis in Software Product Line Engineering (FMSPLE 2011)},
journal = {Software Product Line Conference, International},
volume = {00},
number = {},
issn = {},
year = {2011},
pages = {336},
doi = {doi.ieeecomputersociety.org/10.1109/SPLC.2011.39},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}