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