Research output per year
Research output per year
Search results
-
2018
Preface
Baier, C. & Caires, L., 1 Jan 2018, Formal Techniques for Distributed Objects, Components, and Systems: 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings. Baier, C. & Caires, L. (eds.). Springer International Publishing, (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10854 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Foreword/postscript › peer-review