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

The Quantitative Verification Benchmark Set

Hartmanns, Arnd (Corresponding author) ; Klauck, Michaela ; Parker, David ; Quatmann, Tim (Corresponding author)^RWTH* ; Ruijters, Enno

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 / Tomáš Vojnar, Lijun Zhang (Eds.). - Part 1, Seiten/Artikel-Nr: 344-350

2019

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

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

ImpressumCham, Switzerland : Springer Open

Umfang344-350

ISBN978-3-030-17461-3, 978-3-030-17462-0

ReiheLecture notes in computer science ; 11427

Online
DOI: 10.18154/RWTH-2019-03442
DOI: 10.1007/978-3-030-17462-0_20
10.1007/978-3-030-17462-0_20
URL: https://publications.rwth-aachen.de/record/759258/files/759258.pdf

Einrichtungen

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

Projekte

1. FRAPPANT - Formal Reasoning About Probabilistic Programs: Breaking New Ground for Automation (787914) (787914)

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-85064956253
WOS Core Collection: WOS:000681166500020
OpenAlex: W2932972683

Interne Identnummern
RWTH-2019-03442
Datensatz-ID: 759258

Beteiligte Länder
Germany, Netherlands, UK