ETAPS Foreword

Joost-Pieter Katoen

ETAPS Foreword

Formal Methods and Tools

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

39 Downloads (Pure)

Original language	English
Title of host publication	Tools and Algorithms for the Construction and Analysis of Systems
Subtitle of host publication	25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III
Editors	Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen
Place of Publication	Cham
Publisher	Springer
Pages	v-vi
Number of pages	2
ISBN (Electronic)	978-3-030-17502-3
ISBN (Print)	978-3-030-17501-6
Publication status	Published - 2019
Event	European Joint Conferences on Theory and Practice of Software, ETAPS 2019 - Orea Hotel Pyramida, Prague, Czech Republic Duration: 6 Apr 2019 → 11 Apr 2019 Conference number: 22

Publication series

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

Name	Theoretical Computer Science and General Issues
Publisher	Springer

Conference

Conference	European Joint Conferences on Theory and Practice of Software, ETAPS 2019
Abbreviated title	ETAPS 2019
Country/Territory	Czech Republic
City	Prague
Period	6/04/19 → 11/04/19

Access to Document

Katoen2019prefaceFinal published version, 56.9 KB

https://link.springer.com/content/pdf/bfm%3A978-3-030-17502-3%2F1.pdf

Cite this

Katoen, J.-P. (2019). ETAPS Foreword. In D. Beyer, M. Huisman, F. Kordon, & B. Steffen (Eds.), Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III (pp. v-vi). (Lecture Notes in Computer Science; Vol. 11429), (Theoretical Computer Science and General Issues). Springer. https://link.springer.com/content/pdf/bfm%3A978-3-030-17502-3%2F1.pdf

Katoen, Joost-Pieter. / ETAPS Foreword. Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III. editor / Dirk Beyer ; Marieke Huisman ; Fabrice Kordon ; Bernhard Steffen. Cham : Springer, 2019. pp. v-vi (Lecture Notes in Computer Science). (Theoretical Computer Science and General Issues).

@inbook{6afdbc903bf44f59af625d4db60052d2,

title = "ETAPS Foreword",

author = "Joost-Pieter Katoen",

year = "2019",

language = "English",

isbn = "978-3-030-17501-6",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "v--vi",

editor = "Dirk Beyer and Marieke Huisman and Fabrice Kordon and Bernhard Steffen",

booktitle = "Tools and Algorithms for the Construction and Analysis of Systems",

address = "Germany",

note = "European Joint Conferences on Theory and Practice of Software, ETAPS 2019, ETAPS 2019 ; Conference date: 06-04-2019 Through 11-04-2019",

}

Katoen, J-P 2019, ETAPS Foreword. in D Beyer, M Huisman, F Kordon & B Steffen (eds), Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III. Lecture Notes in Computer Science, vol. 11429, Theoretical Computer Science and General Issues, Springer, Cham, pp. v-vi, European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, 6/04/19. <https://link.springer.com/content/pdf/bfm%3A978-3-030-17502-3%2F1.pdf>

ETAPS Foreword. / Katoen, Joost-Pieter.
Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III. ed. / Dirk Beyer; Marieke Huisman; Fabrice Kordon; Bernhard Steffen. Cham: Springer, 2019. p. v-vi (Lecture Notes in Computer Science; Vol. 11429), (Theoretical Computer Science and General Issues).

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

TY - CHAP

T1 - ETAPS Foreword

AU - Katoen, Joost-Pieter

N1 - Conference code: 22

PY - 2019

Y1 - 2019

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

M3 - Foreword/postscript

AN - SCOPUS:85064954601

SN - 978-3-030-17501-6

T3 - Lecture Notes in Computer Science

SP - v-vi

BT - Tools and Algorithms for the Construction and Analysis of Systems

A2 - Beyer, Dirk

A2 - Huisman, Marieke

A2 - Kordon, Fabrice

A2 - Steffen, Bernhard

PB - Springer

CY - Cham

T2 - European Joint Conferences on Theory and Practice of Software, ETAPS 2019

Y2 - 6 April 2019 through 11 April 2019

ER -

Katoen JP. ETAPS Foreword. In Beyer D, Huisman M, Kordon F, Steffen B, editors, Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III. Cham: Springer. 2019. p. v-vi. (Lecture Notes in Computer Science). (Theoretical Computer Science and General Issues).

ETAPS Foreword

Publication series

Conference

Access to Document

Other files and links

Cite this