Old Web
English
Sign In
Acemap
>
Paper
>
Querying Trajectories through Model Checking based on Timed Automata.
Querying Trajectories through Model Checking based on Timed Automata.
2012
V S Diego Simões
Henrique Viana
Nicolas Markey
José Antônio Fernandes de Macêdo
Keywords:
Timed automaton
Discrete mathematics
Model checking
Computer science
Automaton
Theoretical computer science
Correction
Source
Cite
Save
Machine Reading By IdeaReader
6
References
0
Citations
NaN
KQI
[]