%0 Journal Article %1 journals/acta/BettiniDS13 %A Bettini, Lorenzo %A Damiani, Ferruccio %A Schaefer, Ina %D 2013 %J Acta Inf. %K %N 2 %P 77-122 %T Compositional type checking of delta-oriented software product lines. %U http://dblp.uni-trier.de/db/journals/acta/acta50.html#BettiniDS13 %V 50

@article{journals/acta/BettiniDS13, added-at = {2023-12-13T05:49:07.000+0100}, author = {Bettini, Lorenzo and Damiani, Ferruccio and Schaefer, Ina}, biburl = {https://www.bibsonomy.org/bibtex/2bb56cfbec480d7f3fe786d5e9d3f8a62/admin}, ee = {https://doi.org/10.1007/s00236-012-0173-z}, interhash = {a6e90ffad5b4789aaa7a17119e0b85ba}, intrahash = {bb56cfbec480d7f3fe786d5e9d3f8a62}, journal = {Acta Inf.}, keywords = {}, number = 2, pages = {77-122}, timestamp = {2023-12-13T05:49:07.000+0100}, title = {Compositional type checking of delta-oriented software product lines.}, url = {http://dblp.uni-trier.de/db/journals/acta/acta50.html#BettiniDS13}, volume = 50, year = 2013 }