Supplementary material for "Congruences Preserving Temporal Formulas That Combine Weak and Strong Modalities"
收藏数据链接：
官方服务：
资源简介：
Complementary material including the proofs of all theorems presented in the TACAS 2020 submission, a detailed description of the RERS 2019 experiment, and the actual data used for the RERS 2018,RERS 2019, and TFTP experiments.
提供机构：
INRIA; ISTI-CNR创建时间：
2019-10-03
