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

Mustapha Essalih

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

2004
1EEJulie Vachon, Houari A. Sahraoui, Mustapha Essalih, Hafedh Mili: Vérification par model-checking de systèmes hybrides objets-règles. L'OBJET 10(2-3): 259-275 (2004)

Coauthor Index

1Hafedh Mili [1]
2Houari A. Sahraoui [1]
3Julie Vachon [1]

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