Artifact of Knor: reactive synthesis using Oink
收藏DataCite Commons2023-11-09 更新2024-07-03 收录
下载链接：
https://data.4tu.nl/datasets/8794d8c0-5959-42f9-ba34-68f2137145a7
下载链接
链接失效反馈官方服务：
资源简介：
This is the artifact belonging to the paper <strong>Knor: reactive synthesis using Oink</strong>.<br>The artifact requires the Virtual Machine of TACAS23 obtainable via https://zenodo.org/doi/10.5281/zenodo.7113222<br>For information on using the artifact, consult the README files.
提供机构：
4TU.ResearchData
创建时间：
2023-11-09
