<  Back to the Polytechnique Montréal portal

Items where Author is "Najem, Manal"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Authors | Publication Date | Document subtype | No Grouping
Jump to: N
Number of items: 1.

N

Najem, M. (2009). Model-Checking symbolique pour la vérification de systèmes et son application aux tables de décision et aux systèmes d'éditions collaboratives distribuées [Master's thesis, École Polytechnique de Montréal]. Available

List generated on: Wed Mar 29 02:21:48 2023 EDT
PolyPublie is the institutional repository of Polytechnique Montréal.
This website is powered by the EPrints open-source software.