We've got lots of freedom and independence, but you are never on your own when you encounter problems.
Modeling Product Lines with Kripke Structures and Modal Logic
| Title | Modeling Product Lines with Kripke Structures and Modal Logic |
| Publication Type | Report |
| Year of Publication | 2013 |
| Authors | Diskin, Z., A. Safilian, and T. Maibaum |
| Series Title | GSD Technical Report |
| Document Number | TR 2013-10-1 |
| Date Published | 10/2013 |
| Institution | University of Waterloo(ECE) / McMaster University (CAS) |
| City | Watreloo |
| Type | Technical Report |
| Report Number | TR 2013-10-1 |
| Attachment | Size |
|---|---|
| fase14_FM-TR.pdf | 656.65 KB |
