projects / ~bandali / bndl.org / blame_incremental
| Commit | Line | Data |
|---|---|---|
| 1 | [[pub]] | |
| 2 | title = """\ | |
| 3 | A comparison of the declarative modelling languages B, Dash, \ | |
| 4 | and TLA<sup>+</sup> \ | |
| 5 | """ | |
| 6 | description = """\ | |
| 7 | Ali Abbassi, Amin Bandali, Nancy A. Day, and Jose \ | |
| 8 | Serna. In *International Workshop on Model-Driven \ | |
| 9 | Requirements Engineering (MoDRE) @ IEEE International \ | |
| 10 | Requirements Engineering Conference (RE)*. To appear, \ | |
| 11 | 2018. \ | |
| 12 | """ | |
| 13 | links = """\ | |
| 14 | pdf, \ | |
| 15 | bib, \ | |
| 16 | [models](https://cs.uwaterloo.ca/~nday/models/2018-modre) \ | |
| 17 | """ |