Boubker Ghandour

Publication Activity (10 Years)

Years Active: 2007-2007
Publications (10 Years): 0

Publications

Sylvain Hallé, Roger Villemaire, Omar Cherkaoui, Boubker Ghandour
Model Checking Data-Aware Workflow Properties with CTL-FO+. EDOC (2007)
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)