| | 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 *2018 IEEE 8th International Model-Driven \ |
| | 9 | Requirements Engineering Workshop (MoDRE)*. \ |
| | 10 | """ |
| | 11 | links = """\ |
| | 12 | [pdf](https://aminb.org/papers/2018-AbBaDaSe-modre.pdf), \ |
| | 13 | [bib](https://aminb.org/papers/2018-AbBaDaSe-modre.bib), \ |
| | 14 | [doi](https://doi.org/10.1109/MoDRE.2018.00008), \ |
| | 15 | [models](https://cs.uwaterloo.ca/~nday/models/2018-modre) \ |
| | 16 | """ |
projects / ~bandali / bndl.org / blame_incremental