Govert van Drimmelen

According to our database, Govert van Drimmelen authored at least 4 papers between 2003 and 2010.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2010

Model-checking CTL* over flat Presburger counter systems.

Stéphane Demri, Alain Finkel, Valentin Goranko, Govert van Drimmelen

J. Appl. Non Class. Logics, 2010

2006

Complete axiomatization and decidability of Alternating-time temporal logic.

Valentin Goranko, Govert van Drimmelen

Theor. Comput. Sci., 2006

Towards a Model-Checker for Counter Systems.

Stéphane Demri, Alain Finkel, Valentin Goranko, Govert van Drimmelen

Proceedings of the Automated Technology for Verification and Analysis, 2006

2003

Satisfiability in Alternating-time Temporal Logic.

Govert van Drimmelen

Proceedings of the 18th IEEE Symposium on Logic in Computer Science (LICS 2003), 2003