T. Pedersen, T. Le Guilly, A. Ravn, and A. Skou. 2015 10th International Joint Conference on Software Technologies (ICSOFT), 1, page 1--10. IEEE, (2015)
Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%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
}