Commit | Line | Data |
---|---|---|
8c1ba2f2 AB |
1 | <table> |
2 | ||
3 | <tr valign="top"> | |
4 | <td align="right" class="bibtexnumber"> | |
5 | [<a name="bandali2020">2</a>] | |
6 | </td> | |
7 | <td class="bibtexitem"> | |
8 | <a href="https://bndl.org">Amin Bandali</a>. | |
9 | A Comprehensive Study of Declarative Modelling Languages. | |
10 | MMath thesis, University of Waterloo, David R. Cheriton School of | |
11 | Computer Science, July 2020. | |
12 | <a href="http://hdl.handle.net/10012/16059">http://hdl.handle.net/10012/16059</a> and | |
13 | <a href="https://bndl.org/mmath">https://bndl.org/mmath</a>. | |
14 | [ <a href="bandali-bib#bandali2020">bib</a> | | |
15 | <a href="http://hdl.handle.net/10012/16059">http</a> | | |
16 | <a href="https://p.bndl.org/bandali-mmath-thesis.pdf">.pdf</a> ] | |
17 | ||
18 | </td> | |
19 | </tr> | |
20 | ||
21 | ||
22 | <tr valign="top"> | |
23 | <td align="right" class="bibtexnumber"> | |
24 | [<a name="DBLP:conf/re/AbbassiBDS18">1</a>] | |
25 | </td> | |
26 | <td class="bibtexitem"> | |
27 | Ali Abbassi, <a href="https://bndl.org">Amin Bandali</a>, <a href="https://cs.uwaterloo.ca/~nday/">Nancy A. Day</a>, and José Serna. | |
28 | A comparison of the declarative modelling languages B, Dash, and | |
29 | TLA<sup>+</sup>. | |
30 | In Ana Moreira, Gunter Mussbacher, João Araújo, and Pablo | |
31 | Sánchez, editors, <em>8th IEEE International Model-Driven | |
32 | Requirements Engineering Workshop, MoDRE@RE 2018, Banff, AB, Canada, August | |
33 | 20, 2018</em>, pages 11–20. IEEE Computer Society, 2018. | |
34 | [ <a href="bandali-bib#DBLP:conf/re/AbbassiBDS18">bib</a> | | |
35 | <a href="https://doi.org/10.1109/MoDRE.2018.00008">http</a> | | |
36 | <a href="https://p.bndl.org/modre2018-declarative.pdf">.pdf</a> ] | |
37 | ||
38 | </td> | |
39 | </tr> | |
40 | </table> |