QEST 2004: First International Conference on the Quantitative Evaluation of Systems: Proceedings

Research output: Book/Report › Book editing › Academic

Keywords

@book{9bcf0ece9bfc45c8ae9a223370a9caab,

title = "QEST 2004: First International Conference on the Quantitative Evaluation of Systems: Proceedings",

keywords = "METIS-218837",

author = "Haverkort, {Boudewijn R.H.M.} and G. Franceschinis and Katoen, {Joost P.} and M. Woodside",

year = "2004",

language = "English",

isbn = "0-7695-2185-1",

publisher = "IEEE",

address = "United States",

}

TY - BOOK

T1 - QEST 2004: First International Conference on the Quantitative Evaluation of Systems

T2 - Proceedings

AU - Haverkort, Boudewijn R.H.M.

AU - Franceschinis, G.

AU - Katoen, Joost P.

AU - Woodside, M.

PY - 2004

Y1 - 2004

KW - METIS-218837

M3 - Book editing

SN - 0-7695-2185-1

BT - QEST 2004: First International Conference on the Quantitative Evaluation of Systems

PB - IEEE

CY - Los Alamitos, CA, USA

ER -