| _version_ | 1866901491729563648 |
|---|---|
| author | gamegraphgym |
| author_facet | gamegraphgym |
| contents | <p>Release for TACAS 2026 artifact evaluation</p> |
| format | Recurso digital |
| id | zenodo_https___doi_org_10_5281_zenodo_17487986 |
| institution | Zenodo |
| language | |
| publishDate | 2025 |
| publisher | Zenodo |
| record_format | zenodo |
| spellingShingle | gamegraphgym/case-study-temporal-games: TACAS 2026 Artifact temporal case study gamegraphgym <p>Release for TACAS 2026 artifact evaluation</p> |
| title | gamegraphgym/case-study-temporal-games: TACAS 2026 Artifact temporal case study |
| url | https://doi.org/10.5281/zenodo.17487986 |