Journal article
Faithful Modeling of Product Lines with Kripke Structures and Modal Logic
Abstract
Authors
Diskin Z; Safilian A; Maibaum T; Ben-David S
Journal
Scientific Annals of Computer Science, Vol. 16, No. 1, pp. 69–122
Publisher
Editura Universitatii Alexandru Ioan Cuza din Iasi
Publication Date
January 1, 2016
DOI
10.7561/sacs.2016.1.69
ISSN
1843-8121