[~bandali/bndl.org] / data / publications.toml

[[pub]]
title = """\
        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. \
              """
links = """\
        pdf, \
        bib, \
        [models](https://cs.uwaterloo.ca/~nday/models/2018-modre) \
        """
Commit	Line	Data
351bf145 AB	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	"""