Govert van Drimmelen

	2010
4		Stéphane Demri, Alain Finkel, Valentin Goranko, Govert van Drimmelen: Model-checking CTL* over flat Presburger counter systems. Journal of Applied Non-Classical Logics 20(4): 313-344 (2010)
	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] [4]
2	Alain Finkel	[3] [4]
3	Valentin Goranko	[2] [3] [4]

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page