|||Simon Bliudze, Panagiotis Katsaros, and Martin Wirsing, editors. MeTRiD 2019-2020 Special Issue of STTT. Software Tools for Technology Transfer. Springer Nature, 2020. In preparation. [ bib ]|
|||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 ]|
|||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 Lecture Notes in Computer Science. Springer, 2020. [ bib | DOI ]|
|||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 Lecture Notes in Computer Science. Springer, 2018. [ bib | DOI ]|
|||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 ]|
|||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 ]|
|||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.