Boubker Ghandour

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

Coauthor Index

1	Omar Cherkaoui	[1] [2]
2	Sylvain Hallé	[1] [2]
3	Jérôme Tremblay	[1]
4	Roger Villemaire	[1] [2]