Thomas Thüm, Jens Meinicke, Fabian Benduhn, Martin Hentschel, Alexander von Rhein, Gunter Saake
Potential synergies of theorem proving and model checking for software product lines
SPLC, 2014.
@inproceedings{SPLC-2014-ThumMBHRS,
author = "Thomas Thüm and Jens Meinicke and Fabian Benduhn and Martin Hentschel and Alexander von Rhein and Gunter Saake",
booktitle = "{Proceedings of the 18th International Software Product Line Conference}",
doi = "10.1145/2648511.2648530",
isbn = "978-1-4503-2740-4",
pages = "177--186",
publisher = "{ACM}",
title = "{Potential synergies of theorem proving and model checking for software product lines}",
year = 2014,
}