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


Boucheneb, H., & Rakkay, H. (2008). A more efficient time petri net state space abstraction useful to model checking timed linear properties. Fundamenta Informaticae, 88(4), 469-495. External link

List generated on: Tue Apr 16 06:17:14 2024 EDT