Modeling Product Lines with Kripke Structures and Modal Logic

TitleModeling Product Lines with Kripke Structures and Modal Logic
Publication TypeReport
Year of Publication2015
AuthorsDiskin, Z., A. Safilian, T. Maibaum, and S. Ben-David
Document NumberGSDLAB–TR 2015-04-01
Date PublishedApril, 2015
InstitutionUniversity of Waterloo, ECE
CityWaterloo/Hamilton
Report NumberGSDLAB–TR 2015-04-01
AttachmentSize
TR-PPL-2015.pdf823.95 KB