The Quantitative Verification Benchmark Set

Cham / Springer International Publishing (2019) [Buchbeitrag, Beitrag zu einem Tagungsband]

Tools and Algorithms for the Construction and Analysis of Systems / Vojnar, Tomáš (Editor) [https://orcid.org/0000-0002-2746-8792] ; Cham : Springer International Publishing, 2019, Chapter 20 ; ISSN: 0302-9743=1611-3349 ; ISBN: 978-3-030-17461-3=978-3-030-17462-0 ; doi:10.1007/978-3-030-17462-0
Seite(n): 344-350

Autorinnen und Autoren

Ausgewählte Autorinnen und Autoren

Hartmanns, Arnd
Klauck, Michaela
Parker, David
Quatmann, Tim
Ruijters, Enno

Identifikationsnummern