Login
Dokumenttyp:
Konferenzbeitrag / Conference Paper
Titel:
Symbolic calculation of k-shortest paths and related measures with the stochastic process algebra tool CASPA
Titel Konferenzpublikation:
Proceeding DYADEM-FTS '10
Untertitel Konferenzpublikation:
Proceedings of the First Workshop on DYnamic Aspects in DEpendability Models for Fault-Tolerant Systems
Konferenztitel:
Workshop on DYnamic Aspects in DEpendability Models for Fault-Tolerant Systems (1., 2010, Valencia)
Tagungsort:
Valencia, Spain
Jahr der Konferenz:
2010
Datum Beginn der Konferenz:
27.04.2010
Verlag:
ACM
Jahr:
2010
Seiten von - bis:
13-18
Sprache:
Englisch
ISBN:
978-1-60558-916-9
Fakultät:
Fakultät für Informatik
Institut:
INF 3 - Institut für Technische Informatik
Professur:
Siegle, Markus
Open Access ja oder nein?:
Ja / Yes
BibTeX