dblp.uni-trier.dewww.uni-trier.de

Boubker Ghandour

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

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

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)