@book{5849e957e1c4453eb7b50eb1cd2a83e1,
title = "Process Algebra and Probabilistic Methods: Performance Modeling and Verification: Second Joint International Workshop PAPM-PROBMIV 2002 Copenhagen, Denmark, July 25–26, 2002 Proceedings",
keywords = "FMT-MC: MODEL CHECKING, FMT-PM: PROBABILISTIC METHODS, FMT-RT: VERIFICATION OF REAL-TIME SYSTEMS, FMT-PA: PROCESS ALGEBRAS, FMT-SEMANTICS, FMT-FMPA: FORMAL METHODS FOR PERFORMANCE ANALYSIS, EWI-6414",
editor = "Holger Hermanns and Roberto Segala",
year = "2002",
doi = "10.1007/3-540-45605-8",
language = "English",
isbn = "978-3-540-43913-4",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
address = "Germany",
}