@book{e714971aa78147779e28bec48b355a28,
title = "Lectures on Formal Methods and Performance Analysis: First EEF/Euro Summer School on Trends in Computer Science Bergen Dal, The Netherlands, July 3–7, 2000 Revised Lectures",
keywords = "FMT-PA: PROCESS ALGEBRAS, FMT-PM: PROBABILISTIC METHODS, IR-66261, FMT-BDD: BINARY DECISION DIAGRAMS, METIS-203931, FMT-MC: MODEL CHECKING, FMT-FMPA: FORMAL METHODS FOR PERFORMANCE ANALYSIS, EWI-6408",
editor = "Hendrik Brinksma and H. Hermanns and Katoen, \{Joost P.\}",
year = "2001",
month = aug,
doi = "10.1007/3-540-44667-2",
language = "English",
isbn = "978-3-540-42479-6",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
address = "Germany",
}