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

2004

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 Wed Jun 29 01:59:24 2022 EDT.