Login
Document type:
Konferenzbeitrag / Conference Paper
Title:
A stochastic extension of the logic PDL
Conference title:
International Workshop on Performability Modeling of Computer and Communication Systems (6., 2003, Monticello)
Conference title:
Sixth International Workshop on Performability Modeling of Computer and Communication Systems (PMCCS6)
Venue:
Monticello, Illinois
Year of conference:
2003
Year:
2003
Pages from - to:
58-61
Language:
Englisch
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