<  Back to the Polytechnique Montréal portal

Items published in "2009"

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

B

Boucheneb, H., Gardey, G., & Roux, O. H. (2009). TCTL model checking of time petri nets. Journal of Logic and Computation, 19(6), 1509-1540. External link

List generated on: Wed Feb 19 04:41:04 2025 EST