Nombre de documents archivés : 1.
Chami, Aida (2008). « Vérification de processus BPEL à l'aide de promela-spin » Mémoire. Montréal (Québec, Canada), Université du Québec à Montréal, Maîtrise en informatique.