Preface

Christel Baier, Luís Caires

Research output: Chapter in Book/Report/Conference proceedingForeword/postscript

Original languageEnglish
Title of host publicationFormal 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
EditorsC. Baier, L. Caires
PublisherSpringer International Publishing
ISBN (Electronic)978-3-319-92612-4
ISBN (Print)978-3-319-92611-7
Publication statusPublished - 1 Jan 2018
Event38th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2018 Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018 - Madrid, Spain
Duration: 18 Jun 201821 Jun 2018

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
PublisherSpringer International Publishing
Volume10854 LNCS
ISSN (Print)0302-9743

Conference

Conference38th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2018 Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018
CountrySpain
CityMadrid
Period18/06/1821/06/18

Cite this