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