The Quantitative Verification Benchmark Set

Cham / Springer International Publishing (2019) [Contribution to a book, Contribution to a conference proceedings]

Tools and Algorithms for the Construction and Analysis of Systems / Vojnar, Tomáš (Editor) [https://orcid.org/0000-0002-2746-8792]
Page(s): 344-350

Authors

Authors

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

Identifier

Downloads