<  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
Number of items: 1.

Bergeron, M. (2004). Model-checking UML designs using a temporal extension of the object constraint language. (Masters thesis, École Polytechnique de Montréal).

This list was generated on Tue Aug 9 01:59:05 2022 EDT.