Artifact of Knor: reactive synthesis using Oink
收藏官方服务：
资源简介：
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
