%0 Conference Paper %1 conf/icse/CordySHL13 %A Cordy, Maxime %A Schobbens, Pierre-Yves %A Heymans, Patrick %A Legay, Axel %B ICSE %D 2013 %E Notkin, David %E Cheng, Betty H. C. %E Pohl, Klaus %I IEEE Computer Society %K dblp %P 472-481 %T Beyond boolean product-line model checking: dealing with feature attributes and multi-features. %U http://dblp.uni-trier.de/db/conf/icse/icse2013.html#CordySHL13 %@ 978-1-4673-3076-3

@inproceedings{conf/icse/CordySHL13, added-at = {2023-03-23T00:00:00.000+0100}, author = {Cordy, Maxime and Schobbens, Pierre-Yves and Heymans, Patrick and Legay, Axel}, biburl = {https://www.bibsonomy.org/bibtex/2c098f1848ffed5a5f3d8e15d0a463f57/dblp}, booktitle = {ICSE}, crossref = {conf/icse/2013}, editor = {Notkin, David and Cheng, Betty H. C. and Pohl, Klaus}, ee = {http://dl.acm.org/citation.cfm?id=2486851}, interhash = {669da9fc7d1327d094b4a7660ef1935e}, intrahash = {c098f1848ffed5a5f3d8e15d0a463f57}, isbn = {978-1-4673-3076-3}, keywords = {dblp}, pages = {472-481}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T05:37:17.000+0200}, title = {Beyond boolean product-line model checking: dealing with feature attributes and multi-features.}, url = {http://dblp.uni-trier.de/db/conf/icse/icse2013.html#CordySHL13}, year = 2013 }