Published September 18, 2023
| Version v1
Software
Open
dodo
Description
Fixed version of the software dodo, used for the experiments of the PhD thesis "Inductive statements for regular transition systems".
Files
dodo-18-sep-2023.zip
Files
(147.8 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:ca8b3d75d04b98949ed730e83fcbe7d4
|
146.7 kB | Preview Download |
|
md5:392e44a4924f66280baebc4be705ed64
|
1.1 kB | Download |