%0 Journal Article %1 journals/scp/ClassenCHLS14 %A Classen, Andreas %A Cordy, Maxime %A Heymans, Patrick %A Legay, Axel %A Schobbens, Pierre-Yves %D 2014 %J Sci. Comput. Program. %K dblp %P 416-439 %T Formal semantics, modular specification, and symbolic verification of product-line behaviour. %U http://dblp.uni-trier.de/db/journals/scp/scp80.html#ClassenCHLS14 %V 80

@article{journals/scp/ClassenCHLS14, added-at = {2014-04-24T00:00:00.000+0200}, author = {Classen, Andreas and Cordy, Maxime and Heymans, Patrick and Legay, Axel and Schobbens, Pierre-Yves}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2742cb64e7cb0f832ee5403801496a57b/dblp}, ee = {http://dx.doi.org/10.1016/j.scico.2013.09.019}, interhash = {6350ffb92edb2b1128f78b19887094c3}, intrahash = {742cb64e7cb0f832ee5403801496a57b}, journal = {Sci. Comput. Program.}, keywords = {dblp}, pages = {416-439}, timestamp = {2016-02-02T02:39:28.000+0100}, title = {Formal semantics, modular specification, and symbolic verification of product-line behaviour.}, url = {http://dblp.uni-trier.de/db/journals/scp/scp80.html#ClassenCHLS14}, volume = 80, year = 2014 }