+ helpreset results/page
2 items found
Active filters: x Subject: 0102 - Applied Mathematics x Collection: General collection ... x Data format: application/octet-stream [remove all]
Filter:
Type
2Dataset
2Item with a doi
Creator
1Burgelman, N. (Nico)
1Hartmanns, A. (Arnd)
Year
12018
12016
Subject #2
1Statistics
1Ground Transport
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)