Login
Document type:
Konferenzbeitrag / Conference Paper
Title:
Deriving symbolic representations from stochastic process algebras
Collection title:
Process Algebra and Probabilistic Methods, Proc. PAPM-PROBMIV'02
Collection editors:
Hermanns, Holger; Segala, Roberto
Title of conference publication:
Process Algebra and Probabilistic Methods: Performance Modeling and Verification
Subtitle of conference publication:
Second Joint International Workshop PAPM-PROBMIV 2002 Copenhagen, Denmark, July 25–26, 2002 Proceedings
Series title:
Lecture Notes in Computer Science
Series volume:
2399
Conference title:
Joint International Workshop PAPM-PROBMIV (2., 2002, Kopenhagen)
Venue:
Copenhagen, Denmark
Year of conference:
2002
Date of conference beginning:
25.07.2002
Date of conference ending:
26.07.2002
Place of publication:
Berlin ; Heidelberg
Publisher:
Springer
Year:
2002
Pages from - to:
188-206
Language:
Englisch
ISBN:
978-3-540-43913-4 ; 978-3-540-45605-6
Department:
Fakultät für Informatik
Institute:
INF 3 - Institut für Technische Informatik
Chair:
Siegle, Markus
Open Access yes or no?:
Nein / No
BibTeX