Trends in temporal reasoning: constraints, graphs and posets
- Creator: Daykin, Jacqueline W. , Miller, Mirka , Ryan, Joe
- Resource Type: conference paper
- Date: 2016
An approach for validating feature models in software product lines
- Creator: Zhang, Guoheng , Ye, Huilin , Lin, Yuqing
- Resource Type: journal article
- Date: 2013