Preface

Valentina Castiglioni; Adrian Francalanza

doi:10.1007/978-3-031-62645-6

Preface

Valentina Castiglioni, Adrian Francalanza

Formal System Analysis

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

Original language	English
Title of host publication	44th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2024
Subtitle of host publication	Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17–21, 2024, Proceedings
Editors	Valentina Castiglioni, Adrian Francalanza
Publisher	Springer
Pages	vii-viii
ISBN (Electronic)	978-3-031-62645-6
ISBN (Print)	978-3-031-62644-9
DOIs	https://doi.org/10.1007/978-3-031-62645-6
Publication status	Published - Jun 2024
Event	44th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2024, held as part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024 - Groningen, Netherlands Duration: 17 Jun 2024 → 21 Jun 2024

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	14678
ISSN (Print)	0302-9743

Conference

Conference	44th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2024, held as part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024
Country/Territory	Netherlands
City	Groningen
Period	17/06/24 → 21/06/24

Access to Document

10.1007/978-3-031-62645-6

Cite this

Castiglioni, V., & Francalanza, A. (2024). Preface. In V. Castiglioni, & A. Francalanza (Eds.), 44th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2024: Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17–21, 2024, Proceedings (pp. vii-viii). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 14678). Springer. https://doi.org/10.1007/978-3-031-62645-6

Castiglioni, Valentina ; Francalanza, Adrian. / Preface. 44th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2024: Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17–21, 2024, Proceedings. editor / Valentina Castiglioni ; Adrian Francalanza. Springer, 2024. pp. vii-viii (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inbook{76823583b99a4743bafef9b14724c166,

title = "Preface",

author = "Valentina Castiglioni and Adrian Francalanza",

year = "2024",

month = jun,

doi = "10.1007/978-3-031-62645-6",

language = "English",

isbn = "978-3-031-62644-9",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer",

pages = "vii--viii",

editor = "Valentina Castiglioni and Adrian Francalanza",

booktitle = "44th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2024",

note = "44th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2024, held as part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024 ; Conference date: 17-06-2024 Through 21-06-2024",

}

Castiglioni, V & Francalanza, A 2024, Preface. in V Castiglioni & A Francalanza (eds), 44th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2024: Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17–21, 2024, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 14678, Springer, pp. vii-viii, 44th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2024, held as part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, Netherlands, 17/06/24. https://doi.org/10.1007/978-3-031-62645-6

Preface. / Castiglioni, Valentina; Francalanza, Adrian.
44th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2024: Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17–21, 2024, Proceedings. ed. / Valentina Castiglioni; Adrian Francalanza. Springer, 2024. p. vii-viii (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 14678).

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

TY - CHAP

T1 - Preface

AU - Castiglioni, Valentina

AU - Francalanza, Adrian

PY - 2024/6

Y1 - 2024/6

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

U2 - 10.1007/978-3-031-62645-6

DO - 10.1007/978-3-031-62645-6

M3 - Foreword/editorial

AN - SCOPUS:85197229760

SN - 978-3-031-62644-9

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - vii-viii

BT - 44th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2024

A2 - Castiglioni, Valentina

A2 - Francalanza, Adrian

PB - Springer

T2 - 44th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2024, held as part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024

Y2 - 17 June 2024 through 21 June 2024

ER -

Castiglioni V, Francalanza A. Preface. In Castiglioni V, Francalanza A, editors, 44th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2024: Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17–21, 2024, Proceedings. Springer. 2024. p. vii-viii. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-031-62645-6

Preface

Publication series

Conference

Access to Document

Other files and links

Cite this