h1

h2

h3

h4

h5
h6
%0 Conference Paper
%A Winkler, Tobias
%A Junges, Sebastian
%A Pérez, Guillermo A.
%A Katoen, Joost-Pieter
%T On the Complexity of Reachability in Parametric Markov Decision Processes
%V 140
%C Saarbrücken/Wadern, Germany
%I Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, August
%M RWTH-2020-00609
%B Leibniz international proceedings in informatics : LIPIcs
%D 2019
%< 30th International Conference on Concurrency Theory : CONCUR 2019, August 27-30, 2019, Amsterdam, the Netherlands / edited by Wan Fokkink, Rob van Glabbeek
%B 30. International Conference on Concurrency Theory
%C 27 Aug 2019 - 30 Aug 2019, Amsterdam (Netherlands)
Y2 27 Aug 2019 - 30 Aug 2019
M2 Amsterdam, Netherlands
%F PUB:(DE-HGF)7 ; PUB:(DE-HGF)8
%9 Contribution to a bookContribution to a conference proceedings
%R 10.4230/LIPICS.CONCUR.2019.14
%U https://publications.rwth-aachen.de/record/780394