1 <h1><a href=
"bandali.bib">bandali.bib
</a></h1><a name=
"DBLP:conf/re/AbbassiBDS18"></a><pre>
2 @inproceedings{
<a href=
"publications#DBLP:conf/re/AbbassiBDS18">DBLP:conf/re/AbbassiBDS18
</a>,
3 author = {Ali Abbassi and
7 title = {A Comparison of the Declarative Modelling Languages
8 {B}, {Dash}, and {TLA\textsuperscript{+}}},
9 booktitle = {
8th {IEEE} International Model-Driven Requirements
10 Engineering Workshop, MoDRE@RE
2018, Banff, AB,
11 Canada, August
20,
2018},
14 crossref = {
<a href=
"#DBLP:conf/re/2018modre">DBLP:conf/re/
2018modre
</a>},
15 url = {https://doi.org/
10.1109/MoDRE
.2018.00008},
16 doi = {
10.1109/MoDRE
.2018.00008},
17 timestamp = {Thu,
14 Feb
2019 15:
07:
29 +
0100},
18 biburl = {https://dblp.org/rec/bib/conf/re/AbbassiBDS18},
19 bibsource = {dblp computer science bibliography, https://dblp.org},
20 pdf = {https://p.bndl.org/modre2018-declarative.pdf}
24 <a name=
"DBLP:conf/re/2018modre"></a><pre>
25 @proceedings{
<a href=
"publications#DBLP:conf/re/2018modre">DBLP:conf/re/
2018modre
</a>,
26 editor = {Ana Moreira and
28 Jo{\~{a}}o Ara{\'{u}}jo and
30 title = {
8th {IEEE} International Model-Driven Requirements
31 Engineering Workshop, MoDRE@RE
2018, Banff, AB,
32 Canada, August
20,
2018},
33 publisher = {{IEEE} Computer Society},
35 url = {
<a href=
"http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=8500723">http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=
8500723</a>},
36 isbn = {
978-
1-
5386-
8406-
1},
37 timestamp = {Thu,
14 Feb
2019 15:
07:
29 +
0100},
38 biburl = {https://dblp.org/rec/bib/conf/re/
2018modre},
39 bibsource = {dblp computer science bibliography, https://dblp.org}
43 <a name=
"bandali2020"></a><pre>
44 @mastersthesis{
<a href=
"publications#bandali2020">bandali2020
</a>,
45 type = {{MMath} thesis},
46 author = {Amin Bandali},
47 title = {{A Comprehensive Study of Declarative Modelling Languages}},
48 school = {University of Waterloo, David R. Cheriton School of Computer Science},
51 publisher = {UWSpace},
52 url = {
<a href=
"http://hdl.handle.net/10012/16059">http://hdl.handle.net/
10012/
16059</a>},
53 note = {\url{http://hdl.handle.net/
10012/
16059} and
54 \url{https://bndl.org/mmath}},
55 pdf = {https://p.bndl.org/bandali-mmath-thesis.pdf}