People in the lab are very enthusiastic about what they do. The environment is very stimulating and soon you realize that most of the limits are those in your head.
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 | 2014 |
| Authors | Diskin, Z., A. Safilian, T. Maibaum, and S. Ben-David |
| Document Number | GSDLab TR 2014-08-01 |
| Date Published | 08/2014 |
| Institution | University of Waterloo (ECE) |
| City | Waterloo |
| Report Number | GSDLab TR 2014-08-01 |
| Refereed Designation | Non-Refereed |
| Attachment | Size |
|---|---|
| TR-kripke-ml.pdf | 1.26 MB |
