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

Boudewijn R.H.M. Haverkort, G. Franceschinis, Joost P. Katoen, M. Woodside

Research output: Book/Report › Book › Scientific

Keywords

@book{1510ac8d945a49809dfa3566ca84a7c3,

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 Computer Society",

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

SN - 0-7695-2185-1

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

PB - IEEE Computer Society

CY - Los Alamitos, CA, USA

ER -