Validation of Stochastic Systems: A Guide to Current Research

Research output: Book/Report › Book editing › Academic

149 Downloads (Pure)

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

Access to Document

@book{874d49272090469b9da17ea90732a987,

title = "Validation of Stochastic Systems: A Guide to Current Research",

editor = "Christel Baier and Haverkort, \{Boudewijn R.\} and Holger Hermanns and RWTH Katoen and Markus Siegle",

year = "2004",

doi = "10.1007/b98484",

language = "English",

isbn = "978-3-540-22265-1",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

address = "Germany",

}

TY - BOOK

T1 - Validation of Stochastic Systems

T2 - A Guide to Current Research

A2 - Baier, Christel

A2 - Haverkort, Boudewijn R.

A2 - Hermanns, Holger

A2 - Katoen, RWTH

A2 - Siegle, Markus

PY - 2004

Y1 - 2004

U2 - 10.1007/b98484

DO - 10.1007/b98484

M3 - Book editing

SN - 978-3-540-22265-1

T3 - Lecture Notes in Computer Science

BT - Validation of Stochastic Systems

PB - Springer

CY - Berlin

ER -