Modeling product lines with Kripke structures and modal logic

TitleModeling product lines with Kripke structures and modal logic
Publication TypeReport
Year of Publication2014
AuthorsDiskin, Z., A. Safilian, T. Maibaum, and S. Ben-David
Document NumberGSDLab TR 2014-08-01
Date Published08/2014
InstitutionUniversity of Waterloo (ECE)
CityWaterloo
Report NumberGSDLab TR 2014-08-01
Refereed DesignationNon-Refereed
AttachmentSize
TR-kripke-ml.pdf1.26 MB
Tags: