Login
Document type:
Konferenzbeitrag / Conference Paper
Title:
Rate Lifting for Stochastic Process Algebra
Subtitle:
Exploiting Structural Properties
Collection editors:
Ábrahám, Erika; Paolieri, Marco
Title of conference publication:
Quantitative Evaluation of Systems
Subtitle of conference publication:
19th International Conference, QEST 2022, Warsaw, Poland, September 12–16, 2022, Proceedings
Series title:
Lecture Notes in Computer Science
Series volume:
13479
Conference title:
International Conference on Quantitative Evaluation of Systems (19., 2022, Warschau)
Venue:
Warschau
Year of conference:
2022
Date of conference beginning:
12.09.2022
Date of conference ending:
16.09.2022
Place of publication:
Cham
Publisher:
Springer
Year:
2022
Pages from - to:
67-84
Language:
Englisch
ISBN:
978-3-031-16336-4 ; 978-3-031-16335-7
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