Artifact for Little Tricky Logic: Misconceptions in the Understanding of LTL
收藏数据链接：
官方服务：
资源简介：
Datasets and source materials for our studies of Linear Temporal Logic (LTL).
面向我们开展线性时序逻辑（Linear Temporal Logic, LTL）研究所用的数据集及源材料
提供机构：
Zenodo创建时间：
2022-08-26
