+ helpreset results/page
2 items found
Active filters: x Type: Dataset x Creator: Hartmanns, A. (Arnd) x Subject: 0104 - Statistics x Data format: application/zip [remove all]
Filter:
Type #2
2Item with a doi
Year
22018
Subject #2
1Applied Mathematics
1Business and Management
Collection
2 General collection of datasets
Data format #2
2application/octet-stream
2application/vnd.openxmlformats-officedocument.spreadsheetml.sheet
2application/x-dosexec
2text/plain
1application/pdf
results 1-2
Lightweight Statistical Model Checking in Nondeterministic Continuous Time (Artifact)Dataset2018Hartmanns, A. (Arnd)
A Statistical Model Checker for Nondeterminism and Rare Events (Artifact)Dataset2018Hartmanns, A. (Arnd)