Simon Toehning

Model Checking of Domain Artifacts in Product Line Engineering

Klaus Pohl, Kim Lauenroth, Simon Toehning, 2009, 2009 IEEE/ACM International Conference on Automated Software Engineering.