-<h1><a href="bandali.bib">bandali.bib</a></h1><a name="DBLP:conf/re/AbbassiBDS18"></a><pre>
-@inproceedings{<a href="publications#DBLP:conf/re/AbbassiBDS18">DBLP:conf/re/AbbassiBDS18</a>,
- author = {Ali Abbassi and
- Amin Bandali and
- Nancy A. Day and
- Jos{\'{e}} Serna},
- title = {A Comparison of the Declarative Modelling Languages
- {B}, {Dash}, and {TLA\textsuperscript{+}}},
- booktitle = {8th {IEEE} International Model-Driven Requirements
- Engineering Workshop, MoDRE@RE 2018, Banff, AB,
- Canada, August 20, 2018},
- pages = {11--20},
- year = {2018},
- crossref = {<a href="#DBLP:conf/re/2018modre">DBLP:conf/re/2018modre</a>},
- url = {https://doi.org/10.1109/MoDRE.2018.00008},
- doi = {10.1109/MoDRE.2018.00008},
- timestamp = {Thu, 14 Feb 2019 15:07:29 +0100},
- biburl = {https://dblp.org/rec/bib/conf/re/AbbassiBDS18},
- bibsource = {dblp computer science bibliography, https://dblp.org},
- pdf = {https://p.bndl.org/modre2018-declarative.pdf}
-}
-</pre>
-
-<a name="DBLP:conf/re/2018modre"></a><pre>
-@proceedings{<a href="publications#DBLP:conf/re/2018modre">DBLP:conf/re/2018modre</a>,
- editor = {Ana Moreira and
- Gunter Mussbacher and
- Jo{\~{a}}o Ara{\'{u}}jo and
- Pablo S{\'{a}}nchez},
- title = {8th {IEEE} International Model-Driven Requirements
- Engineering Workshop, MoDRE@RE 2018, Banff, AB,
- Canada, August 20, 2018},
- publisher = {{IEEE} Computer Society},
- year = {2018},
- url = {<a href="http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=8500723">http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=8500723</a>},
- isbn = {978-1-5386-8406-1},
- timestamp = {Thu, 14 Feb 2019 15:07:29 +0100},
- biburl = {https://dblp.org/rec/bib/conf/re/2018modre},
- bibsource = {dblp computer science bibliography, https://dblp.org}
-}
-</pre>
-
-<a name="bandali2020"></a><pre>
-@mastersthesis{<a href="publications#bandali2020">bandali2020</a>,
- type = {{MMath} thesis},
- author = {Amin Bandali},
- title = {{A Comprehensive Study of Declarative Modelling Languages}},
- school = {University of Waterloo, David R. Cheriton School of Computer Science},
- year = 2020,
- month = {July},
- publisher = {UWSpace},
- url = {<a href="http://hdl.handle.net/10012/16059">http://hdl.handle.net/10012/16059</a>},
- note = {\url{http://hdl.handle.net/10012/16059} and
- \url{https://bndl.org/mmath}},
- pdf = {https://p.bndl.org/bandali-mmath-thesis.pdf}
-}
-</pre>
-