Commit | Line | Data |
---|---|---|
351bf145 AB |
1 | [[pub]] |
2 | title = """\ | |
5195a094 | 3 | A Comparison of the Declarative Modelling Languages B, Dash, \ |
351bf145 AB |
4 | and TLA<sup>+</sup> \ |
5 | """ | |
6 | description = """\ | |
7 | Ali Abbassi, Amin Bandali, Nancy A. Day, and Jose \ | |
5195a094 AB |
8 | Serna. In *2018 IEEE 8th International Model-Driven \ |
9 | Requirements Engineering Workshop (MoDRE)*. \ | |
351bf145 AB |
10 | """ |
11 | links = """\ | |
5195a094 AB |
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), \ | |
351bf145 AB |
15 | [models](https://cs.uwaterloo.ca/~nday/models/2018-modre) \ |
16 | """ |