Foreword

José Luiz Fiadeiro

doi:10.1007/3-540-46002-0

Foreword

José Luiz Fiadeiro

Science and Engineering Office

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

Original language	English
Title of host publication	Tools and algorithms for the construction and analysis of systems
Subtitle of host publication	8th International Conference, TACAS 2002
Editors	Joost-Pieter Katoen, Perdita Stevens
Publisher	Springer
Pages	v-vi
Number of pages	2
Volume	2280
ISBN (Electronic)	9783540460022
ISBN (Print)	9783540434191
DOIs	https://doi.org/10.1007/3-540-46002-0
Publication status	Published - 1 Dec 2002
Event	8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Proceedings - Grenoble, France Duration: 8 Apr 2002 → 12 Apr 2002

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Publisher	Springer Verlag
ISSN (Print)	0302-9743

Conference

Conference	8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Proceedings
Country/Territory	France
City	Grenoble
Period	8/04/02 → 12/04/02

ASJC Scopus subject areas

Theoretical Computer Science
General Computer Science

Access to Document

10.1007/3-540-46002-0

Cite this

Fiadeiro, J. L. (2002). Foreword. In J.-P. Katoen, & P. Stevens (Eds.), Tools and algorithms for the construction and analysis of systems: 8th International Conference, TACAS 2002 (Vol. 2280, pp. v-vi). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). Springer . https://doi.org/10.1007/3-540-46002-0

@inbook{88f1ee3f25a44d028963e5c13532ac1c,

title = "Foreword",

author = "Fiadeiro, {Jos{\'e} Luiz}",

year = "2002",

month = dec,

day = "1",

doi = "10.1007/3-540-46002-0",

language = "English",

isbn = "9783540434191",

volume = "2280",

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

publisher = "Springer ",

pages = "v--vi",

editor = "Joost-Pieter Katoen and Perdita Stevens",

booktitle = "Tools and algorithms for the construction and analysis of systems",

note = "8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Proceedings ; Conference date: 08-04-2002 Through 12-04-2002",

}

Fiadeiro, JL 2002, Foreword. in J-P Katoen & P Stevens (eds), Tools and algorithms for the construction and analysis of systems: 8th International Conference, TACAS 2002. vol. 2280, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer , pp. v-vi, 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Proceedings, Grenoble, France, 8/04/02. https://doi.org/10.1007/3-540-46002-0

Foreword. / Fiadeiro, José Luiz.
Tools and algorithms for the construction and analysis of systems: 8th International Conference, TACAS 2002. ed. / Joost-Pieter Katoen; Perdita Stevens. Vol. 2280 Springer , 2002. p. v-vi (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

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

TY - CHAP

T1 - Foreword

AU - Fiadeiro, José Luiz

PY - 2002/12/1

Y1 - 2002/12/1

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

U2 - 10.1007/3-540-46002-0

DO - 10.1007/3-540-46002-0

M3 - Foreword/postscript

AN - SCOPUS:84958753031

SN - 9783540434191

VL - 2280

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

SP - v-vi

BT - Tools and algorithms for the construction and analysis of systems

A2 - Katoen, Joost-Pieter

A2 - Stevens, Perdita

PB - Springer

T2 - 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Proceedings

Y2 - 8 April 2002 through 12 April 2002

ER -

Foreword

Publication series

Conference

ASJC Scopus subject areas

Access to Document

Other files and links

Cite this