Longitudinal data consistency verification using formal methods

Roberto Boselli, Mirko Cesarini, Fabio Mercorio, Mario Mezzanzanica. Longitudinal data consistency verification using formal methods. IJIQ, 3(3):185-206, 2014. [doi]

Abstract

Abstract is missing.