Travelled to:
1 × Greece
Collaborated with:
R.Khédri J.Jaskolka
Talks about:
composit (1) aspectu (1) featur (1) verif (1) model (1)
Person: Qinglei Zhang
DBLP: Zhang:Qinglei
Contributed to:
Wrote 1 papers:
- SEFM-2012-ZhangKJ #composition #verification
- Verification of Aspectual Composition in Feature-Modeling (QZ, RK, JJ), pp. 109–125.