The package contains the following files:Supplementary data 1 excel file of intra-examiner reliability statistical analysesSupplementary data 2 excel file of part I in vitro reliability statistical an
This dataset accompanies the paper "Diagnosing Violations of Time-based Properties Captured in iCFTL", by Cristina Stratan, Joshua Heneage Dawes, and Domenico Bianculli, to appear in the proceedings o
