- CSB - MetaPress - Google - Bing - Yahoo
 | 2007 | |
|---|---|---|
| 1 |      | 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] |