Hildebrandt, Thomas Troels,
Slaats, Tijs,
López, H. A.,
Debois, S. &
Carbone, M.,
2019,
Formal Techniques for Distributed Objects, Components, and Systems - 39th IFIP WG 6.1 International Conference, FORTE 2019, held as part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Proceedings. Pérez, J. A. & Yoshida, N. (eds.).
Springer,
p. 129-147 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 11535 LNCS).
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review