h1

h2

h3

h4

h5
h6

Fachgruppe Informatik

Letzte Einträge:
2019-04-16
13:59
2019-04-16
13:15
2019-04-15
09:10
2019-04-15
08:59
2019-04-12
16:18
2019-04-12
13:07
2019-04-08
15:10
  • The Quantitative Verification Benchmark Set

    ; et al

    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, Seiten/Artikel-Nr: 344-350

    DOI: 10.1007/978-3-030-17462-0_20

    Contribution to a conference proceedings/Contribution to a book 2019
2019-04-08
14:54
2019-04-08
09:18
2019-04-07
09:07