2008 | ||
---|---|---|
3 | EE | Hans P. van Ditmarsch, Ji Ruan, Rineke Verbrugge: Sum and Product in Dynamic Epistemic Logic. J. Log. Comput. 18(4): 563-588 (2008) |
2006 | ||
2 | EE | Hans P. van Ditmarsch, Wiebe van der Hoek, Ron van der Meyden, Ji Ruan: Model Checking Russian Cards. Electr. Notes Theor. Comput. Sci. 149(2): 105-123 (2006) |
2005 | ||
1 | EE | Hans P. van Ditmarsch, Ji Ruan, L. C. Verbrugge: Model Checking Sum and Product. Australian Conference on Artificial Intelligence 2005: 790-795 |
1 | Hans P. van Ditmarsch | [1] [2] [3] |
2 | Wiebe van der Hoek | [2] |
3 | Ron van der Meyden | [2] |
4 | Rineke Verbrugge (L. C. Verbrugge) | [1] [3] |