Diego V. Simões S., Henrique Viana, Nicolas Markey, José Antônio Fernandes de Macêdo. Querying Trajectories through Model Checking based on Timed Automata. In Renata de Matos Galante, editor, XXVII Simpósio Brasileiro de Banco de Dados - Short Papers, São Paulo, São Paulo, Brasil, October 15-18, 2012. pages 33-40, SBC, 2012. [doi]
Abstract is missing.