Weidenbach, Christoph Automation of Logic, MPI for Informatics, Max Planck Society;
Junk, C., Rößger, R., Rock, G., Theis, K., Weidenbach, C., & Wischnewski, P. (2015). Model-Based Variant Management with v.control. In R. Curran, N. Wognum, M. Borsato, J. Stiepandic, & W. J. C. Verhagen (Eds.), Transdisciplinary Lifecycle Analysis of Systems (pp. 194-203). Amsterdam: IOS Press. doi:10.3233/978-1-61499-544-9-194.