If a DOI or any other persistent identifier is unavailable, please use the following repository identifier to link to this item: https://hdl.handle.net/2066/301442
Display more detailsDisplay less details
Organization
Software Science
Audience(s)
Computer science
Abstract
A first release that collects some standard benchmarks in one place and clarifies how to use them with the model checker storm
