Towards the Formal Verification of Data-Intensive Applications Through Metric Temporal Logic.

Francesco Marconi, Marcello M. Bersani, Madalina Erascu, Matteo Rossi

Browse the full ICFEM paper archive.