Preface

Marieke Huisman; António Ravara

doi:10.1007/978-3-031-35355-0

Preface

Research output: Chapter in Book/Report/Conference proceeding › Foreword/postscript › Academic

14 Downloads (Pure)

Original language	English
Title of host publication	Formal Techniques for Distributed Objects, Components, and Systems
Subtitle of host publication	43rd IFIP WG 6.1 International Conference, FORTE 2023. Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023. Proceedings
Editors	Marieke Huisman, António Ravara
Place of Publication	Cham, Switzerland
Publisher	Springer
Pages	vii-viii
Number of pages	2
ISBN (Electronic)	978-3-031-35355-0
ISBN (Print)	978-3-031-35354-3
DOIs	https://doi.org/10.1007/978-3-031-35355-0
Publication status	Published - 2023
Event	43rd IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2023 - Lisbon, Portugal Duration: 19 Jun 2023 → 23 Jun 2023 Conference number: 43

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	13910
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	43rd IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2023
Abbreviated title	FORTE 2023
Country/Territory	Portugal
City	Lisbon
Period	19/06/23 → 23/06/23
Other	Held as part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023

Keywords

n/a OA procedure

Access to Document

10.1007/978-3-031-35355-0

Cite this

Huisman, M., & Ravara, A. (2023). Preface. In M. Huisman, & A. Ravara (Eds.), Formal Techniques for Distributed Objects, Components, and Systems: 43rd IFIP WG 6.1 International Conference, FORTE 2023. Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023. Proceedings (pp. vii-viii). (Lecture Notes in Computer Science; Vol. 13910). Springer. https://doi.org/10.1007/978-3-031-35355-0

Huisman, Marieke ; Ravara, António. / Preface. Formal Techniques for Distributed Objects, Components, and Systems: 43rd IFIP WG 6.1 International Conference, FORTE 2023. Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023. Proceedings. editor / Marieke Huisman ; António Ravara. Cham, Switzerland : Springer, 2023. pp. vii-viii (Lecture Notes in Computer Science).

@inbook{81eca3966b264fccac863144d71f814d,

title = "Preface",

keywords = "n/a OA procedure",

author = "Marieke Huisman and Ant{\'o}nio Ravara",

year = "2023",

doi = "10.1007/978-3-031-35355-0",

language = "English",

isbn = "978-3-031-35354-3",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "vii--viii",

editor = "Marieke Huisman and Ant{\'o}nio Ravara",

booktitle = "Formal Techniques for Distributed Objects, Components, and Systems",

address = "Germany",

note = "43rd IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2023, FORTE 2023 ; Conference date: 19-06-2023 Through 23-06-2023",

}

Huisman, M & Ravara, A 2023, Preface. in M Huisman & A Ravara (eds), Formal Techniques for Distributed Objects, Components, and Systems: 43rd IFIP WG 6.1 International Conference, FORTE 2023. Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023. Proceedings. Lecture Notes in Computer Science, vol. 13910, Springer, Cham, Switzerland, pp. vii-viii, 43rd IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2023, Lisbon, Portugal, 19/06/23. https://doi.org/10.1007/978-3-031-35355-0

Preface. / Huisman, Marieke; Ravara, António.
Formal Techniques for Distributed Objects, Components, and Systems: 43rd IFIP WG 6.1 International Conference, FORTE 2023. Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023. Proceedings. ed. / Marieke Huisman; António Ravara. Cham, Switzerland: Springer, 2023. p. vii-viii (Lecture Notes in Computer Science; Vol. 13910).

Research output: Chapter in Book/Report/Conference proceeding › Foreword/postscript › Academic

TY - CHAP

T1 - Preface

AU - Huisman, Marieke

AU - Ravara, António

N1 - Conference code: 43

PY - 2023

Y1 - 2023

KW - n/a OA procedure

UR - http://www.scopus.com/inward/record.url?scp=85164365138&partnerID=8YFLogxK

U2 - 10.1007/978-3-031-35355-0

DO - 10.1007/978-3-031-35355-0

M3 - Foreword/postscript

AN - SCOPUS:85164365138

SN - 978-3-031-35354-3

T3 - Lecture Notes in Computer Science

SP - vii-viii

BT - Formal Techniques for Distributed Objects, Components, and Systems

A2 - Huisman, Marieke

A2 - Ravara, António

PB - Springer

CY - Cham, Switzerland

T2 - 43rd IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2023

Y2 - 19 June 2023 through 23 June 2023

ER -

Huisman M, Ravara A. Preface. In Huisman M, Ravara A, editors, Formal Techniques for Distributed Objects, Components, and Systems: 43rd IFIP WG 6.1 International Conference, FORTE 2023. Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023. Proceedings. Cham, Switzerland: Springer. 2023. p. vii-viii. (Lecture Notes in Computer Science). doi: 10.1007/978-3-031-35355-0

Preface

Publication series

Conference

Keywords

Access to Document

Other files and links

Cite this