Log in
About your Data
Getting started
Manage & Share
Publish & Cite
Find & Re-use
Scientific Visualisation
NetCDF & OPeNDAP
FAIR Data Fund
About 4TU.ResearchData
Organisation
Collaboration
Policies & Guidelines
Team & Contact
Frequently Asked Questions
About our Community
Join our community
Community members
Community groups
About Training
Training
Introduction to Version Control with Git
Introduction to programming in research with Python
News & Resources
Latest news
Events
Highlights
Use cases
Fair Data Fund stories
Subscribe to our newsletter
Log in & Upload Data
About Log in / Sign up
Log in (Data Repository)
Log in (Community)
Usage statistics
Totals for datasets (co-)authored by Y. (Yuliya) Butkova
308
downloads
1365
views
2
cites
Y. (Yuliya) Butkova
0000-0002-9678-1467
Datasets
A Modest Approach to Modelling and Checking Markov Automata (Artifact)
