%0 Conference Paper %1 pedersen2015method %A Pedersen, Thomas %A Le Guilly, Thibaut %A Ravn, Anders P %A Skou, Arne %B 2015 10th International Joint Conference on Software Technologies (ICSOFT) %D 2015 %K fi %P 1--10 %T A method for model checking feature interactions %V 1

@inproceedings{pedersen2015method, added-at = {2021-02-09T21:00:09.000+0100}, author = {Pedersen, Thomas and Le Guilly, Thibaut and Ravn, Anders P and Skou, Arne}, biburl = {https://www.bibsonomy.org/bibtex/22abcc3cb3187f7a4092dfb4da025f089/fi-smart-envirn}, booktitle = {2015 10th International Joint Conference on Software Technologies (ICSOFT)}, interhash = {bb15209bc28b8c911bdf5612d5333a65}, intrahash = {2abcc3cb3187f7a4092dfb4da025f089}, keywords = {fi}, organization = {IEEE}, pages = {1--10}, timestamp = {2021-02-09T21:00:09.000+0100}, title = {A method for model checking feature interactions}, volume = 1, year = 2015 }