| |
| 2007 | ||
|---|---|---|
| 1 | EE | Sylvain Hallé, Roger Villemaire, Omar Cherkaoui, Jérôme Tremblay, Boubker Ghandour: Extending Model Checking to Data-Aware Temporal Properties of Web Services. WS-FM 2007: 31-45 |
| 1 | Omar Cherkaoui | [1] |
| 2 | Boubker Ghandour | [1] |
| 3 | Sylvain Hallé | [1] |
| 4 | Roger Villemaire | [1] |