+++ /dev/null
-[[pub]]
-title = """\
- A Comparison of the Declarative Modelling Languages B, Dash, \
- and TLA<sup>+</sup> \
- """
-description = """\
- Ali Abbassi, Amin Bandali, Nancy A. Day, and Jose \
- Serna. In *2018 IEEE 8th International Model-Driven \
- Requirements Engineering Workshop (MoDRE)*. \
- """
-links = """\
- [pdf](https://aminb.org/papers/2018-AbBaDaSe-modre.pdf), \
- [bib](https://aminb.org/papers/2018-AbBaDaSe-modre.bib), \
- [doi](https://doi.org/10.1109/MoDRE.2018.00008), \
- [models](https://cs.uwaterloo.ca/~nday/models/2018-modre) \
- """