Statistics
Publications
3
Citations
201
H-Index
3
Active since
2003
Affiliations
University of Johannesburg(Current)
Govert van Drimmelen is an author at University of Johannesburg specializing in computer science, model theory, and mathematics.
Publications per year
2003–2010
3
3
Satisfiability in alternating-time temporal logic
Govert van Drimmelen · 2003 · 46 citations
Model-checking CTL* over flat Presburger counter systems
Stéphane Demri, Alain Finkel, Valentin Goranko et al. · Journal of Applied Non-Classical Logics · 2010 · 21 citations · Full text
1–3 of 3