Preface

Kirstin Peters, Tim A.C. Willemse

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

Original languageEnglish
Title of host publicationFormal Techniques for Distributed Objects, Components, and Systems
Subtitle of host publication41st IFIP WG 6.1 International Conference, FORTE 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14–18, 2021, Proceedings
EditorsKirstin Peters, Tim A.C. Willems
PublisherSpringer
Pagesvii-viii
ISBN (Electronic)978-3-030-78089-0
ISBN (Print)978-3-030-78088-3
DOIs
Publication statusPublished - 2021
Event41st IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2021 held as part of 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021 - Virtual, Online
Duration: 14 Jun 202118 Jun 2021

Publication series

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

Conference

Conference41st IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2021 held as part of 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021
CityVirtual, Online
Period14/06/2118/06/21

Cite this