| 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 | """ |