X-Git-Url: https://git.shemshak.org/~bandali/bndl.org/blobdiff_plain/60d1cae9374d09398e12f0b6239092e4d0b3eb76..b7583bc7e5068ef6557b6dafdfbb97c99736af21:/publications.html diff --git a/publications.html b/publications.html index 0970fa9..9743e5a 100644 --- a/publications.html +++ b/publications.html @@ -3,7 +3,7 @@ - bandali's publications + Amin Bandali's Publications @@ -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,