Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Alexander von Rhein
A Comparison of Product-Based, Feature-Based, and Family-Based Type Checking
ACM SIGPLAN Notices
Computer Science
Potential Synergies of Theorem Proving and Model Checking for Software Product Lines
Family-Based Performance Measurement
