X-Git-Url: https://git.shemshak.org/~bandali/bndl.org/blobdiff_plain/cfe6a758127c1ee27e6b287724234518a83e653e..ff620ce6ac85cf10600b3da9a640f6ebc3568444:/publications.html diff --git a/publications.html b/publications.html deleted file mode 100644 index 9743e5a..0000000 --- a/publications.html +++ /dev/null @@ -1,83 +0,0 @@ - - - - - - Amin Bandali's Publications - - - - -
-
-

bandali

-

Publications

-
-
-

- conference - | - talks -

-
- -

Conference

-
-
-
- A Comparison of the Declarative Modelling Languages B, - Dash, and TLA+ - - [ - pdf - | - bib - | - doi - | - models - ] - -
-
- Ali Abbassi, - Amin Bandali, - Nancy A. Day, - and Jose Serna -
-
- 2018 IEEE 8th International Model-Driven Requirements - Engineering Workshop (MoDRE) -
-
-
- -

Talks

-
-
-
- The Magic of Specifications and Type Systems - - [ - slides - | - poster - ] - -
-
- Amin Bandali, - Simon Hudon, - Jonathan Ostroff -
-
-
-
- -