Login / Signup
Diego V. Simões S.
Publication Activity (10 Years)
Years Active: 2012-2012
Publications (10 Years): 0
Top Topics
Automated Verification
Reactive Systems
Alternating Time Temporal Logic
Model Checking
Top Venues
SBBD (Short Papers)
</>
Publications
</>
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.
SBBD (Short Papers)
(2012)