Govert van Drimmelen

Publication Activity (10 Years)

Years Active: 2003-2010
Publications (10 Years): 0

Publications

Stéphane Demri, Alain Finkel, Valentin Goranko, Govert van Drimmelen
Model-checking CTL* over flat Presburger counter systems. J. Appl. Non Class. Logics 20 (4) (2010)
Stéphane Demri, Alain Finkel, Valentin Goranko, Govert van Drimmelen
Towards a Model-Checker for Counter Systems. ATVA (2006)
Valentin Goranko, Govert van Drimmelen
Complete axiomatization and decidability of Alternating-time temporal logic. Theor. Comput. Sci. 353 (1-3) (2006)
Govert van Drimmelen
Satisfiability in Alternating-time Temporal Logic. LICS (2003)