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

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: Thu May 23 13:33:27 2024 EDT