Additional material for "Sharp Congruences Adequate with Temporal Logics Combining Weak and Strong Modalities"
From MaRDI portal
(Redirected from Dataset:6704289)
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.
This page was built for dataset: Additional material for "Sharp Congruences Adequate with Temporal Logics Combining Weak and Strong Modalities"
