<  Back to the Polytechnique Montréal portal

Items published in "2008"

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

Article

Hadjidj, R., & Boucheneb, H. (2008). Improving state class constructions for CTL* model checking of time Petri nets. International Journal on Software Tools for Technology Transfer, 10(2), 167-184. External link

List generated on: Mon Mar 24 04:42:00 2025 EDT
PolyPublie is the institutional repository of Polytechnique Montréal.
This website is powered by the EPrints open-source software.