<  Back to the Polytechnique Montréal portal

Browse by Author

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

2009

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. (Masters thesis, École Polytechnique de Montréal).

This list was generated on Tue Jun 2 01:36:17 2020 EDT.