Login
Document type:
Konferenzbeitrag / Conference Paper
Title:
Symbolic calculation of k-shortest paths and related measures with the stochastic process algebra tool CASPA
Title of conference publication:
Proceeding DYADEM-FTS '10
Subtitle of conference publication:
Proceedings of the First Workshop on DYnamic Aspects in DEpendability Models for Fault-Tolerant Systems
Conference title:
Workshop on DYnamic Aspects in DEpendability Models for Fault-Tolerant Systems (1., 2010, Valencia)
Venue:
Valencia, Spain
Year of conference:
2010
Date of conference beginning:
27.04.2010
Publisher:
ACM
Year:
2010
Pages from - to:
13-18
Language:
Englisch
ISBN:
978-1-60558-916-9
Department:
Fakultät für Informatik
Institute:
INF 3 - Institut für Technische Informatik
Chair:
Siegle, Markus
Open Access yes or no?:
Ja / Yes
BibTeX