<  Back to the Polytechnique Montréal portal

TCTL model checking of time petri nets

Hanifa Boucheneb, Guillaume Gardey and Olivier H. Roux

Article (2009)

An external link is available for this item
Department: Department of Computer Engineering and Software Engineering
PolyPublie URL: https://publications.polymtl.ca/19908/
Journal Title: Journal of Logic and Computation (vol. 19, no. 6)
Publisher: Oxford Academic
DOI: 10.1093/logcom/exp036
Official URL: https://doi.org/10.1093/logcom/exp036
Date Deposited: 18 Apr 2023 15:14
Last Modified: 05 Apr 2024 11:02
Cite in APA 7: Boucheneb, H., Gardey, G., & Roux, O. H. (2009). TCTL model checking of time petri nets. Journal of Logic and Computation, 19(6), 1509-1540. https://doi.org/10.1093/logcom/exp036



Repository Staff Only

View Item View Item