add hugo-micro-json for showing last_updated at /micro.json
[~bandali/bndl.org] / data / publications.toml
CommitLineData
351bf145
AB
1[[pub]]
2title = """\
3 A comparison of the declarative modelling languages B, Dash, \
4 and TLA<sup>+</sup> \
5 """
6description = """\
7 Ali Abbassi, Amin Bandali, Nancy A. Day, and Jose \
8 Serna. In *International Workshop on Model-Driven \
9 Requirements Engineering (MoDRE) @ IEEE International \
10 Requirements Engineering Conference (RE)*. To appear, \
11 2018. \
12 """
13links = """\
14 pdf, \
15 bib, \
16 [models](https://cs.uwaterloo.ca/~nday/models/2018-modre) \
17 """