[[pub]]
title = """\
- A comparison of the declarative modelling languages B, Dash, \
+ 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 *International Workshop on Model-Driven \
- Requirements Engineering (MoDRE) @ IEEE International \
- Requirements Engineering Conference (RE)*. To appear, \
- 2018. \
+ Serna. In *2018 IEEE 8th International Model-Driven \
+ Requirements Engineering Workshop (MoDRE)*. \
"""
links = """\
- pdf, \
- bib, \
+ [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) \
"""