http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png

Shepherding Hordes of Markov Chains

Češka, Milan ; Jansen, Nils ; Junges, Sebastian (Corresponding author)^RWTH* ; Katoen, Joost-Pieter^RWTH*

In
Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings. - Part 2 / edited by Tomáš Vojnar, Lijun Zhang, Seiten/Artikel-Nr: 172-190

2019

Konferenz/Event:25. International Conference on Tools and Algorithms for the Construction and Analysis of Systems , Prague , Czech Republic , TACAS , 2019-04-06 - 2019-04-11

Konferenz/Event:European Joint Conference on Theory and Practice of Software , Prague , Czech Republic , ETAPS , 2019-04-06 - 2019-04-11

ImpressumCham : Springer International Publishing

Umfang172-190

ISBN978-3-030-17464-4, 978-3-030-17465-1

ReiheLecture Notes in Computer Science ; 11428

Online
DOI: 10.18154/RWTH-2020-03719
DOI: 10.1007/978-3-030-17465-1_10
10.1007/978-3-030-17465-1_10
URL: https://publications.rwth-aachen.de/record/786829/files/786829.pdf

Einrichtungen

1. Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation) (121310)
2. Fachgruppe Informatik (120000)
3. Graduiertenkolleg UnRAVeL (080060)

OpenAccess:
PDF

Dokumenttyp
Contribution to a book/Contribution to a conference proceedings

Format
online, print

Sprache
English

Anmerkung
Peer reviewed article

Externe Identnummern
SCOPUS: SCOPUS:2-s2.0-85064560153
WOS Core Collection: WOS:000681174300010

Interne Identnummern
RWTH-2020-03719
Datensatz-ID: 786829

Beteiligte Länder
Czech Republic, Germany, Netherlands