Preface

Marieke Huisman; António Ravara

Preface

NOVALincs

Research output: Chapter in Book/Report/Conference proceeding › Foreword/postscript › peer-review

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
Publisher	Springer
Pages	vii-viii
Number of pages	2
ISBN (Electronic)	978-3-031-35355-0
ISBN (Print)	978-3-031-35354-3
Publication status	Published - 2023
Event	43rd IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2023, held as part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023 - Lisbon, Portugal Duration: 19 Jun 2023 → 23 Jun 2023

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	13910 LNCS
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, held as part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023
Country/Territory	Portugal
City	Lisbon
Period	19/06/23 → 23/06/23

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 LNCS). Springer.

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 : Springer, 2023. pp. vii-viii (Lecture Notes in Computer Science).

@inbook{c8f86d37f0894fe9aef181151bac7151,

title = "Preface",

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

year = "2023",

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 = "Netherlands",

note = "43rd IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2023, held as part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 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 LNCS, Springer, Cham, pp. vii-viii, 43rd IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2023, held as part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, 19/06/23.

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: Springer, 2023. p. vii-viii (Lecture Notes in Computer Science; Vol. 13910 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Foreword/postscript › peer-review

TY - CHAP

T1 - Preface

AU - Huisman, Marieke

AU - Ravara, António

PY - 2023

Y1 - 2023

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

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

T2 - 43rd IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2023, held as part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 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: Springer. 2023. p. vii-viii. (Lecture Notes in Computer Science).

Preface

Publication series

Conference

Other files and links

Cite this