| |
| 2006 | ||
|---|---|---|
| 1 | EE | Sylvain Kerjean, Froduald Kabanza, Richard St.-Denis, Sylvie Thiébaux: Analyzing LTL Model Checking Techniques for Plan Synthesis and Controller Synthesis (Work in Progress). Electr. Notes Theor. Comput. Sci. 149(2): 91-104 (2006) |
| 1 | Froduald Kabanza | [1] |
| 2 | Richard St.-Denis | [1] |
| 3 | Sylvie Thiébaux | [1] |