| [1] | Laura Bocchi and Simon Bliudze, editors. Selected Papers of the 22nd International Conference on Coordination Models and Languages (COORDINATION 2020). Logical Methods in Computer Science. Episciences.org, June 2022. [ bib | http ] |
| [2] | Simon Bliudze, Panagiotis Katsaros, Saddek Bensalem, and Martin Wirsing, editors. MeTRiD 2019-2020 Special Issue of STTT. Software Tools for Technology Transfer. Springer Nature, October 2021. A collection of 8 articles in Issue 5 of Volume 23. [ bib ] |
| [3] | Mohamed Faouzi Atig and Simon Bliudze, editors. VECoS 2018 Special Issue of ISSE, volume 16(2) of Innovations in Systems and Software Engineering. Springer Nature, June 2020. [ bib | http ] |
| [4] | Simon Bliudze and Laura Bocchi, editors. Coordination Models and Languages-22nd IFIP WG 6.1 International Conference, COORDINATION 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings, volume 12134 of LNCS. Springer, 2020. [ bib | DOI ] |
| [5] | Mohamed Faouzi Atig, Saddek Bensalem, Simon Bliudze, and Bruno Monsuez, editors. Verification and Evaluation of Computer and Communication Systems - 12th International Conference, VECoS 2018, Grenoble, France, September 26-28, 2018, Proceedings, volume 11181 of LNCS. Springer, 2018. [ bib | DOI ] |
| [6] | Simon Bliudze and Saddek Bensalem, editors. Proceedings of the 1st International Workshop on Methods and Tools for Rigorous System Design, MeTRiD@ETAPS 2018, Thessaloniki, Greece, 15th April 2018, volume 272 of EPTCS, 2018. [ bib | DOI ] |
| [7] | Alexandra Silva, Simon Bliudze, Roberto Bruni, and Marco Carbone, editors. Proceedings Fourth Interaction and Concurrency Experience, ICE 2011, Reykjavik, Iceland, 9th June 2011, volume 59 of EPTCS, 2011. [ bib | DOI ] |
| [8] | Simon Bliudze, Roberto Bruni, Davide Grohmann, and Alexandra Silva, editors. Proceedings Third Interaction and Concurrency Experience: Guaranteed Interaction, ICE 2010, Amsterdam, The Netherlands, 10th of June 2010, volume 38 of EPTCS, 2010. [ bib | DOI ] |
This file was generated by bibtex2html 1.96.