h1

h2

h3

h4

h5
h6
%0 Conference Paper
%A Hartmanns, Arnd
%A Junges, Sebastian
%A Katoen, Joost-Pieter
%A Quatmann, Tim
%T Multi-cost Bounded Reachability in MDP
%V 10806, Part 2
%C Cham
%I Springer International Publishing
%M RWTH-2018-229065
%B Lecture notes in computer science
%P 320-339
%D 2018
%Z Weitere Reihe: Springer eBook Collection : Computer Science
%< Tools and Algorithms for the Construction and Analysis of Systems : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II / edited by Dirk Beyer, Marieke Huisman
%B 24. International Conference on Tools and Algorithms for the Construction and Analysis of Systems
%C 14 Apr 2018 - 20 Apr 2018, Thessaloniki (Greece)
Y2 14 Apr 2018 - 20 Apr 2018
M2 Thessaloniki, Greece
%F PUB:(DE-HGF)7 ; PUB:(DE-HGF)8
%9 Contribution to a bookContribution to a conference proceedings
%U <Go to ISI:>//WOS:000445822600019
%R 10.1007/978-3-319-89963-3_19
%U https://publications.rwth-aachen.de/record/745801