Published July 17, 2018
| Version 1.2.3
Software
Open
moves-rwth/storm: v1.2.3
Creators
- 1. RWTH Aachen University @moves-rwth
- 2. RWTH Aachen University
- 3. TU Dresden, Germany
- 4. Amazon Europe (@amzn)
- 5. University of Twente
Description
- Fix in version parsing
Files
moves-rwth/storm-1.2.3.zip
Files
(24.0 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:ec94c43da811371ff5aea32f830f6b81
|
24.0 MB | Preview Download |
Additional details
Related works
- Is supplement to
- https://github.com/moves-rwth/storm/tree/1.2.3 (URL)