Tools and Algorithms for the Construction and Analysis of Systems

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

Research output: Book/Report › Book editing › Academic

Name	Lecture Notes in Computer Science
Publisher	Springer Verlag
Volume	2280
ISSN (Print)	0302-9743

Keywords

@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",

address = "Germany",

}

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 -