%0 Journal Article %1 journals/tse/ClassenCSHLR13 %A Classen, Andreas %A Cordy, Maxime %A Schobbens, Pierre-Yves %A Heymans, Patrick %A Legay, Axel %A Raskin, Jean-François %D 2013 %J IEEE Trans. Software Eng. %K dblp %N 8 %P 1069-1089 %T Featured Transition Systems: Foundations for Verifying Variability-Intensive Systems and Their Application to LTL Model Checking. %U http://dblp.uni-trier.de/db/journals/tse/tse39.html#ClassenCSHLR13 %V 39

@article{journals/tse/ClassenCSHLR13, added-at = {2015-12-10T00:00:00.000+0100}, author = {Classen, Andreas and Cordy, Maxime and Schobbens, Pierre-Yves and Heymans, Patrick and Legay, Axel and Raskin, Jean-François}, biburl = {https://www.bibsonomy.org/bibtex/269acd5d7c9ce4293e1984269c7277760/dblp}, ee = {http://doi.ieeecomputersociety.org/10.1109/TSE.2012.86}, interhash = {ee46cd0bf37f3db94db83c4b111a2796}, intrahash = {69acd5d7c9ce4293e1984269c7277760}, journal = {IEEE Trans. Software Eng.}, keywords = {dblp}, number = 8, pages = {1069-1089}, timestamp = {2015-12-12T11:49:05.000+0100}, title = {Featured Transition Systems: Foundations for Verifying Variability-Intensive Systems and Their Application to LTL Model Checking.}, url = {http://dblp.uni-trier.de/db/journals/tse/tse39.html#ClassenCSHLR13}, volume = 39, year = 2013 }