@comment{{Command line: bib2bib -c '$key="ice10-proc" or $key="ice11-proc" or $key="coordination-si-lmcs" or $key="metrid18-proc" or $key="vecos2018-proc" or $key="vecos2018-si-isse" or $key="formalise2021-proc" or $key="coordination2020-proc" or $key="metrid-si-sttt" or 1=2' /Users/bliudze/Workspace/pubs-sb/pubs-sb.bib}}
@proceedings{ice10-proc,
editor = {Simon Bliudze and Roberto Bruni and Davide Grohmann
and Alexandra Silva},
title = {Proceedings Third Interaction and Concurrency
Experience: Guaranteed Interaction, {ICE} 2010,
Amsterdam, The Netherlands, 10th of June 2010},
series = {{EPTCS}},
volume = 38,
year = 2010,
doi = {10.4204/EPTCS.38},
keywords = {book}
}
@proceedings{ice11-proc,
editor = {Alexandra Silva and Simon Bliudze and Roberto Bruni
and Marco Carbone},
title = {Proceedings Fourth Interaction and Concurrency
Experience, {ICE} 2011, Reykjavik, Iceland, 9th June
2011},
series = {{EPTCS}},
volume = 59,
year = 2011,
doi = {10.4204/EPTCS.59},
keywords = {book}
}
@proceedings{metrid18-proc,
editor = {Simon Bliudze and Saddek Bensalem},
title = {Proceedings of the 1st International Workshop on
Methods and Tools for Rigorous System Design,
{MeTRiD@ETAPS} 2018, Thessaloniki, Greece, 15th
April 2018},
series = {{EPTCS}},
volume = 272,
year = 2018,
doi = {10.4204/EPTCS.272},
keywords = {book}
}
@proceedings{vecos2018-proc,
editor = {Mohamed Faouzi Atig and
Saddek Bensalem and
Simon Bliudze and
Bruno Monsuez},
title = {Verification and Evaluation of Computer and Communication Systems
- 12th International Conference, {VECoS} 2018, Grenoble, France, September
26-28, 2018, Proceedings},
series = {LNCS},
volume = 11181,
publisher = {Springer},
year = 2018,
doi = {10.1007/978-3-030-00359-3},
isbn = {978-3-030-00358-6},
keywords = {book}
}
@proceedings{coordination2020-proc,
editor = {Simon Bliudze and Laura Bocchi},
title = {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},
series = {LNCS},
volume = 12134,
publisher = {Springer},
year = 2020,
doi = {10.1007/978-3-030-50029-0},
isbn = {978-3-030-50028-3},
keywords = {book}
}
@book{vecos2018-si-isse,
editor = {Mohamed Faouzi Atig and Simon Bliudze},
title = {{VECoS} 2018 Special Issue of {ISSE}},
series = {Innovations in Systems and Software Engineering},
volume = {16(2)},
year = 2020,
url = {https://link.springer.com/journal/11334/16/2},
publisher = {Springer Nature},
month = jun,
keywords = {book}
}
@book{metrid-si-sttt,
editor = {Simon Bliudze and Panagiotis Katsaros and Saddek Bensalem and Martin Wirsing},
title = {{MeTRiD} 2019-2020 Special Issue of {STTT}},
series = {Software Tools for Technology Transfer},
publisher = {Springer Nature},
month = oct,
year = 2021,
note = {A collection of 8 articles in Issue 5 of Volume 23.},
keywords = {book}
}
@book{coordination-si-lmcs,
editor = {Laura Bocchi and Simon Bliudze},
title = {Selected Papers of the 22nd International Conference on Coordination Models and Languages (COORDINATION 2020)},
series = {Logical Methods in Computer Science},
publisher = {Episciences.org},
month = jun,
year = 2022,
url = {https://lmcs.episciences.org/volume/view/id/415},
keywords = {book}
}
This file was generated by bibtex2html 1.96.