Additional material for "Sharp Congruences Adequate with Temporal Logics Combining Weak and Strong Modalities"
From MaRDI portal
Dataset:6704289
DOI10.5281/zenodo.3629280Zenodo3629280MaRDI QIDQ6704289FDOQ6704289
Dataset published at Zenodo repository.
Frédéric Lang, Franco Mazzanti, Radu Mateescu
Publication date: 28 January 2020
Copyright license: Creative Commons Attribution 4.0 International
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"
