Govert van Drimmelen
Author
Alternate names G. van Drimmelen, Govert van Drimmelen
Institution University of Johannesburg
Past institutions University of Johannesburg, University of the Witwatersrand
H-index: 4
I10-index: 4
Works count: 4
Citations count: 227
Complete axiomatization and decidability of Alternating-time temporal logic
2005 · Valentin Goranko, Govert van Drimmelen · Theoretical Computer Science
Satisfiability in alternating-time temporal logic
2003 · Govert van Drimmelen
Towards a Model-Checker for Counter Systems
2006 · Stéphane Demri, Alain Finkel, et al. · Lecture notes in computer science