Modeling Product Lines with Kripke Structures and Modal Logic.

Zinovy Diskin, Aliakbar Safilian, Tom Maibaum, Shoham Ben-David

Browse the full ICTAC paper archive.