Govert van Drimmelen

	2006
3		Stéphane Demri, Alain Finkel, Valentin Goranko, Govert van Drimmelen: Towards a Model-Checker for Counter Systems. ATVA 2006: 493-507
2		Valentin Goranko, Govert van Drimmelen: Complete axiomatization and decidability of Alternating-time temporal logic. Theor. Comput. Sci. 353(1-3): 93-117 (2006)
	2003
1		Govert van Drimmelen: Satisfiability in Alternating-time Temporal Logic. LICS 2003: 208-217

Coauthor Index

1	Stéphane Demri	[3]
2	Alain Finkel	[3]
3	Valentin Goranko	[2] [3]