<  Back to the Polytechnique Montréal portal

Improving state class constructions for CTL* model checking of time Petri nets

R. Hadjidj and Hanifa Boucheneb

Article (2008)

An external link is available for this item
Department: Department of Computer Engineering and Software Engineering
PolyPublie URL: https://publications.polymtl.ca/20710/
Journal Title: International Journal on Software Tools for Technology Transfer (vol. 10, no. 2)
Publisher: Springer
DOI: 10.1007/s10009-007-0040-3
Official URL: https://doi.org/10.1007/s10009-007-0040-3
Date Deposited: 18 Apr 2023 15:15
Last Modified: 05 Apr 2024 11:04
Cite in APA 7: 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. https://doi.org/10.1007/s10009-007-0040-3

Statistics

Dimensions

Repository Staff Only

View Item View Item