2007 | ||
---|---|---|
2 | EE | Sylvain Hallé, Roger Villemaire, Omar Cherkaoui, Boubker Ghandour: Model Checking Data-Aware Workflow Properties with CTL-FO+. EDOC 2007: 267-278 |
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] |
2 | Sylvain Hallé | [1] [2] |
3 | Jérôme Tremblay | [1] |
4 | Roger Villemaire | [1] [2] |