Automated Analysis of Stateful Feature Models

Pablo Trinidad, Antonio Ruiz Cortés, David Benavides. Automated Analysis of Stateful Feature Models. In Janis A. Bubenko Jr., John Krogstie, Oscar Pastor, Barbara Pernici, Colette Rolland, Arne Sølvberg, editors, Seminal Contributions to Information Systems Engineering, 25 Years of CAiSE. pages 375-380, Springer, 2013. [doi]

@incollection{TrinidadC13,
  title = {Automated Analysis of Stateful Feature Models},
  author = {Pablo Trinidad and Antonio Ruiz Cortés and David Benavides},
  year = {2013},
  doi = {10.1007/978-3-642-36926-1_30},
  url = {http://dx.doi.org/10.1007/978-3-642-36926-1_30},
  researchr = {https://researchr.org/publication/TrinidadC13},
  cites = {0},
  citedby = {0},
  pages = {375-380},
  booktitle = {Seminal Contributions to Information Systems Engineering, 25 Years of CAiSE},
  editor = {Janis A. Bubenko Jr. and John Krogstie and Oscar Pastor and Barbara Pernici and Colette Rolland and Arne Sølvberg},
  publisher = {Springer},
  isbn = {978-3-642-36926-1},
}