Pages that link to "Item:Q1647961"

The following pages link to Aliakbar Safilian (Q1647961):

Displaying 3 items.

• A theoretical framework for cardinality-based feature models: the semantics and computational aspects (Q1647962) (← links)
• Modeling Product Lines with Kripke Structures and Modal Logic (Q2787423) (← links)
• Faithful Modeling of Product Lines with Kripke Structures and Modal Logic (Q4621201) (← links)