Delta Modeling and Model Checking of Product Families

@inproceedings{Sabouri2013DeltaMA,
  title={Delta Modeling and Model Checking of Product Families},
  author={Hamideh Sabouri and Ramtin Khosravi},
  booktitle={FSEN},
  year={2013}
}