+ helpreset results/page
1 items found
Active filters: x Type: Dataset x Subject: 0802 - Computation Theo... x Data format: application/x-sharedlib [remove all]
Filter:
Type #2
1Item with a doi
Creator
1Butkova, Y. (Yuliya)
Year
12019
Subject #2
1Computer Software
Collection
1 General collection of datasets
Data format #2
1application/octet-stream
1application/x-archive
1application/x-dosexec
1application/zip
1text/plain
1text/x-python
results 1-1
A Modest Approach to Modelling and Checking Markov Automata (Artifact)Dataset2019Butkova, Y. (Yuliya)