Foreword

Research output: Chapter in Book/Report/Conference proceedingForeword/postscript

Original languageEnglish
Title of host publicationTools and algorithms for the construction and analysis of systems
Subtitle of host publication8th International Conference, TACAS 2002
EditorsJoost-Pieter Katoen, Perdita Stevens
PublisherSpringer
Pagesv-vi
Number of pages2
Volume2280
ISBN (Electronic)9783540460022
ISBN (Print)9783540434191
DOIs
Publication statusPublished - 1 Dec 2002
Event8th 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 200212 Apr 2002

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
PublisherSpringer Verlag
ISSN (Print)0302-9743

Conference

Conference8th 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
CountryFrance
CityGrenoble
Period8/04/0212/04/02

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
Fiadeiro, José Luiz. / Foreword. Tools and algorithms for the construction and analysis of systems: 8th International Conference, TACAS 2002. editor / Joost-Pieter Katoen ; Perdita Stevens. Vol. 2280 Springer , 2002. pp. v-vi (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inbook{88f1ee3f25a44d028963e5c13532ac1c,
title = "Foreword",
author = "Fiadeiro, {Jos{\'e} Luiz}",
year = "2002",
month = "12",
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",

}

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 proceedingForeword/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

ER -

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