Log in
About your Data
Getting started
Manage & Share
Publish & Cite
Find & Re-use
NetCDF & OPeNDAP
FAIR Data Fund
About 4TU.ResearchData
Organisation
Highlights
Testimonials
Policies & Guidelines
CoreTrustSeal
Collaboration
Frequently Asked Questions
Contact
Job vacancies
About our Community
Join our community
Community members
Community groups
Researcher stories
Research support stories
Working together
FAIR Data Fund stories
Games & Activities
News & Events
Latest posts
Training & Events
Event highlights
Monthly newsletters
Subscribe to our newsletter
News archive
Log in & Upload Data
About Log in / Sign up
Log in (Data Repository)
Log in (Community)
usage stats
Totals for datasets (co-)authored by Arnd Hartmanns
320
downloads
2006
views
3
cites
Arnd Hartmanns
0000-0003-3268-8674
Datasets
A Modest Markov Automata Tutorial (Artifact)
A Statistical Model Checker for Nondeterminism and Rare Events (Artifact)
Lightweight Statistical Model Checking in Nondeterministic Continuous Time (Artifact)
