<  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: Tue May 28 13:24:22 2024 EDT