git.shemshak.org - ~bandali/bndl.org/blob - data/publications.toml

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