Login
Document type:
Konferenzbeitrag / Conference Paper
Title:
Rate Reduction for State-labelled Markov Chains with Upper Time-bounded CSL Requirements
Collection title:
Proceedings Cassting Workshop on Games for the Synthesis of Complex Systems and 3rd International Workshop on Synthesis of Complex Parameters, Eindhoven, The Netherlands, April 2-3, 2016
Collection editors:
Brihaye, Thomas; Delahaye, Benoît; Jezequel, Löig; Markey, Nicolas; Srba, Jiří
Series title:
Electronic Proceedings in Theoretical Computer Science
Series volume:
220
Conference title:
Cassting Workshop on Games for the Synthesis of Complex Systems and International Workshop on Synthesis of Complex Parameters (3., 2017, Eindhoven)
Venue:
Eindhoven, The Netherlands
Year of conference:
2016
Date of conference beginning:
02.04.2016
Date of conference ending:
03.04.2016
Publisher:
Open Publishing Association
Year:
2016
Pages from - to:
77-89
Language:
Englisch
DOI:
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