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