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 *International Workshop on Model-Driven \
   9               Requirements Engineering (MoDRE) @ IEEE International \
  10               Requirements Engineering Conference (RE)*. To appear, \
  11               2018. \
  12               """
  13 links = """\
  14         pdf, \
  15         bib, \
  16         [models](https://cs.uwaterloo.ca/~nday/models/2018-modre) \
  17         """