update /now
[~bandali/bndl.org] / data / publications.toml
CommitLineData
351bf145
AB
1[[pub]]
2title = """\
5195a094 3 A Comparison of the Declarative Modelling Languages B, Dash, \
351bf145
AB
4 and TLA<sup>+</sup> \
5 """
6description = """\
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 """
11links = """\
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 """