X-Git-Url: https://git.shemshak.org/~bandali/bndl.org/blobdiff_plain/da14228658fc24331843063c2cbcc01b3deeb0e2..e30d4988385bf8a631468f031291a1e9babdf17f:/publications.html?ds=inline diff --git a/publications.html b/publications.html index d842230..9743e5a 100644 --- a/publications.html +++ b/publications.html @@ -12,7 +12,7 @@
-

bandali

+

bandali

Publications

@@ -29,10 +29,17 @@
A Comparison of the Declarative Modelling Languages B, Dash, and TLA+ - (pdf, - bib, - doi, - models) + + [ + pdf + | + bib + | + doi + | + models + ] +
Ali Abbassi, @@ -52,12 +59,17 @@
The Magic of Specifications and Type Systems - (slides, + + [ + slides + | poster) +York University, Toronto, Canada, August 15, 2017">poster + ] +
Amin Bandali,