Additional material for "Sharp Congruences Adequate with Temporal Logics Combining Weak and Strong Modalities"
收藏数据链接：
官方服务：
资源简介：
Complementary material including the proofs of all theorems presented at TACAS 2020, a detailed description of the RERS 2019 experiment, and the actual data used for the RERS 2018,RERS 2019, and TFTP experiments.
提供机构：
Zenodo创建时间：
2019-10-03
