Tools and Algorithms for the Construction and Analysis of Systems

Joost P. Katoen (Editor), Perdita Stevens (Editor)

Research output: Book/ReportBook editingAcademic

Original languageEnglish
Place of PublicationBerlin
PublisherSpringer
Number of pages451
ISBN (Electronic)978-3-540-46002-2
ISBN (Print)978-3-540-43419-1
DOIs
Publication statusPublished - 2002

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Verlag
Volume2280
ISSN (Print)0302-9743

Keywords

  • EWI-6412

Cite this

Katoen, J. P., & Stevens, P. (Eds.) (2002). Tools and Algorithms for the Construction and Analysis of Systems. (Lecture Notes in Computer Science; Vol. 2280). Berlin: Springer. https://doi.org/10.1007/3-540-46002-0
Katoen, Joost P. (Editor) ; Stevens, Perdita (Editor). / Tools and Algorithms for the Construction and Analysis of Systems. Berlin : Springer, 2002. 451 p. (Lecture Notes in Computer Science).
@book{e1013222ed314e31acf18bdaba1d13da,
title = "Tools and Algorithms for the Construction and Analysis of Systems",
keywords = "EWI-6412",
editor = "Katoen, {Joost P.} and Perdita Stevens",
year = "2002",
doi = "10.1007/3-540-46002-0",
language = "English",
isbn = "978-3-540-43419-1",
series = "Lecture Notes in Computer Science",
publisher = "Springer",

}

Katoen, JP & Stevens, P (eds) 2002, Tools and Algorithms for the Construction and Analysis of Systems. Lecture Notes in Computer Science, vol. 2280, Springer, Berlin. https://doi.org/10.1007/3-540-46002-0

Tools and Algorithms for the Construction and Analysis of Systems. / Katoen, Joost P. (Editor); Stevens, Perdita (Editor).

Berlin : Springer, 2002. 451 p. (Lecture Notes in Computer Science; Vol. 2280).

Research output: Book/ReportBook editingAcademic

TY - BOOK

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

A2 - Katoen, Joost P.

A2 - Stevens, Perdita

PY - 2002

Y1 - 2002

KW - EWI-6412

U2 - 10.1007/3-540-46002-0

DO - 10.1007/3-540-46002-0

M3 - Book editing

SN - 978-3-540-43419-1

T3 - Lecture Notes in Computer Science

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

PB - Springer

CY - Berlin

ER -

Katoen JP, (ed.), Stevens P, (ed.). Tools and Algorithms for the Construction and Analysis of Systems. Berlin: Springer, 2002. 451 p. (Lecture Notes in Computer Science). https://doi.org/10.1007/3-540-46002-0