Login
Dokumenttyp:
Konferenzbeitrag / Conference Paper
Titel:
Deriving symbolic representations from stochastic process algebras
Titel Sammlung:
Process Algebra and Probabilistic Methods, Proc. PAPM-PROBMIV'02
Herausgeber Sammlung:
Hermanns, Holger; Segala, Roberto
Titel Konferenzpublikation:
Process Algebra and Probabilistic Methods: Performance Modeling and Verification
Untertitel Konferenzpublikation:
Second Joint International Workshop PAPM-PROBMIV 2002 Copenhagen, Denmark, July 25–26, 2002 Proceedings
Reihentitel:
Lecture Notes in Computer Science
Bandnummer Reihe:
2399
Konferenztitel:
Joint International Workshop PAPM-PROBMIV (2., 2002, Kopenhagen)
Tagungsort:
Copenhagen, Denmark
Jahr der Konferenz:
2002
Datum Beginn der Konferenz:
25.07.2002
Datum Ende der Konferenz:
26.07.2002
Verlagsort:
Berlin ; Heidelberg
Verlag:
Springer
Jahr:
2002
Seiten von - bis:
188-206
Sprache:
Englisch
ISBN:
978-3-540-43913-4 ; 978-3-540-45605-6
Fakultät:
Fakultät für Informatik
Institut:
INF 3 - Institut für Technische Informatik
Professur:
Siegle, Markus
Open Access ja oder nein?:
Nein / No
BibTeX