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