Modeling Product Lines with Kripke Structures and Modal Logic

TitleModeling Product Lines with Kripke Structures and Modal Logic
Publication TypeReport
Year of Publication2013
AuthorsDiskin, Z., A. Safilian, and T. Maibaum
Series TitleGSD Technical Report
Document NumberTR 2013-10-1
Date Published10/2013
InstitutionUniversity of Waterloo(ECE) / McMaster University (CAS)
CityWatreloo
TypeTechnical Report
Report NumberTR 2013-10-1
AttachmentSize
fase14_FM-TR.pdf656.65 KB