There is a newer version of the record available.

Published October 3, 2019 | Version v1
Dataset Open

Supplementary material for "Congruences Preserving Temporal Formulas That Combine Weak and Strong Modalities"

Authors/Creators

  • 1. INRIA
  • 2. ISTI-CNR

Description

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.

Files

Lang-Mateescu-Mazzanti-20-complement.pdf

Files (3.6 MB)

Name Size Download all
md5:5646efdbaf5edb51f7cdba4d22472cfd
623.9 kB Preview Download
md5:af415c094ca908b587936adcc0d16607
682.4 kB Preview Download
md5:ab90e395fd95270d02a97be35e1dab3f
2.2 kB Preview Download
md5:1c45a412af7d5f13fad25c27462d6f02
66.6 kB Preview Download
md5:25e14d30f405550220f53c89c873a6f3
1.3 MB Preview Download
md5:911818530c24f8ace0f6b787873a282a
30.8 kB Preview Download
md5:4958be80343ea8b252b73dd44d37fb7d
860.2 kB Preview Download