Login
Dokumenttyp:
Konferenzbeitrag / Conference Paper
Titel:
Rate Reduction for State-labelled Markov Chains with Upper Time-bounded CSL Requirements
Titel Sammlung:
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
Herausgeber Sammlung:
Brihaye, Thomas; Delahaye, Benoît; Jezequel, Löig; Markey, Nicolas; Srba, Jiří
Reihentitel:
Electronic Proceedings in Theoretical Computer Science
Bandnummer Reihe:
220
Konferenztitel:
Cassting Workshop on Games for the Synthesis of Complex Systems and International Workshop on Synthesis of Complex Parameters (3., 2017, Eindhoven)
Tagungsort:
Eindhoven, The Netherlands
Jahr der Konferenz:
2016
Datum Beginn der Konferenz:
02.04.2016
Datum Ende der Konferenz:
03.04.2016
Verlag:
Open Publishing Association
Jahr:
2016
Seiten von - bis:
77-89
Sprache:
Englisch
DOI:
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