How to cite this item

Item: uuid:64cd25f4-4192-46d1-a951-9f99b452b48f (A Statistical Model Checker for Nondeterminism and Rare Events (Artifact)).
Recommended ways to cite this item, and the html code to paste into your own document.

Citation style Datacitenew window

Hartmanns, A. (Arnd) (2018) A Statistical Model Checker for Nondeterminism and Rare Events (Artifact). University of Twente. Dataset. https://doi.org/10.4121/uuid:64cd25f4-4192-46d1-a951-9f99b452b48f
select html code to copy

Short link

select html code to copy

More...

Metadata formats: Dublin Core (in Didl), AOI/ORE (rdf), Datacite
Provided by Datacite: new windowmore citation styles and metadata formats
◄ back to "A Statistical Model Checker for Nondeterminism and Rare Events (Artifact)"