Hamideh Sabouri, Ramtin Khosravi. An Effective Approach for Verifying Product Lines in Presence of Variability Models. In Goetz Botterweck, Stan Jarzabek, Tomoji Kishi, Jaejoon Lee, Steve Livengood, editors, Software Product Lines - 14th International Conference, SPLC 2010, Jeju Island, South Korea, September 13-17, 2010. Workshop Proceedings (Volume 2 : Workshops, Industrial Track, Doctoral Symposium, Demonstrations and Tools). pages 113-120, Lancaster University, 2010. [doi]
@inproceedings{SabouriK10,
title = {An Effective Approach for Verifying Product Lines in Presence of Variability Models},
author = {Hamideh Sabouri and Ramtin Khosravi},
year = {2010},
url = {http://splc2010.postech.ac.kr/SPLC2010_second_volume.pdf},
researchr = {https://researchr.org/publication/SabouriK10},
cites = {0},
citedby = {0},
pages = {113-120},
booktitle = {Software Product Lines - 14th International Conference, SPLC 2010, Jeju Island, South Korea, September 13-17, 2010. Workshop Proceedings (Volume 2 : Workshops, Industrial Track, Doctoral Symposium, Demonstrations and Tools)},
editor = {Goetz Botterweck and Stan Jarzabek and Tomoji Kishi and Jaejoon Lee and Steve Livengood},
publisher = {Lancaster University},
isbn = {978-1-86220-274-0},
}