Publications of Yamine Aït Ameur [rss]
2018
[1] Incremental Construction of Realizable Choreographies (Sarah Benyagoub, Meriem Ouederni, Yamine Aït Ameur, Atif Mashkoor), In Proceedings of NASA Formal Methods - 10th International Symposium, (NFM 2018), Newport News, USA, 2018. [bib] [pdf] [doi]
Powered by bibtexbrowser