+ helpreset results/page
3 items found
Active filters: x Creator: Hartmanns, A. (Arnd) x Data format: text/plain x Data format: application/vnd.openxmlformats-officedocument.spreadsheetml.sheet [remove all]
Filter:
Type
3Dataset
3Item with a doi
Year
12019
22018
Subject
2Statistics
1Applied Mathematics
1Computation Theory and Mathematics
1Distributed Computing
1Business and Management
Collection
3 General collection of datasets
Data format #3
3application/zip
2application/octet-stream
2application/x-dosexec
1application/pdf
1text/csv
1text/x-msdos-batch
results 1-3
A Modest Markov Automata Tutorial (Artifact)Dataset2019Hartmanns, A. (Arnd)
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)