@comment{{Command line: bib2bib -c '$key="ice11-proc" or $key="coordination2020-proc" or $key="vecos2018-si-isse" or $key="vecos2018-proc" or $key="metrid-si-sttt" or $key="ice10-proc" or $key="metrid18-proc" or 1=2' ../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},
timestamp = {Wed, 12 Sep 2018 01:05:14 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1010-5308.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
timestamp = {Wed, 12 Sep 2018 01:05:15 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1108-0144.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
timestamp = {Mon, 10 Sep 2018 16:20:34 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1806-09330.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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 = {Lecture Notes in Computer Science},
volume = 11181,
publisher = {Springer},
year = 2018,
doi = {10.1007/978-3-030-00359-3},
isbn = {978-3-030-00358-6},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/vecos/2018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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 = {Lecture Notes in Computer Science},
volume = 12134,
publisher = {Springer},
year = 2020,
doi = {10.1007/978-3-030-50029-0},
isbn = {978-3-030-50028-3},
timestamp = {Wed, 10 Jun 2020 16:04:42 +0200},
biburl = {https://dblp.org/rec/conf/coordination/2020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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
}
@book{metrid-si-sttt,
editor = {Simon Bliudze and Panagiotis Katsaros and Martin Wirsing},
title = {{MeTRiD} 2019-2020 Special Issue of {STTT}},
series = {Software Tools for Technology Transfer},
publisher = {Springer Nature},
year = 2020,
note = {In preparation.}
}
This file was generated by bibtex2html 1.96.