Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu. Towards the verification of temporal data consistency in Real-Time Data Management. In 2016 2nd International Workshop on Modelling, Analysis, and Control of Complex CPS, CPS Data 2016, Vienna, Austria, April 11, 2016. pages 1-6, IEEE, 2016. [doi]
Abstract is missing.