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:	08 Apr 2025 02:07

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
APA 7 (HTML)ASCII CitationAtomBibTeXDOIsDublin CoreEndNote (.ENW)MARC (ISO 2709/UTF-8) (.MRC)MARC (UTF-8) (.MRK8)MARC XMLMPEG-21 DIDLMultiline CSVOAI-ORE Resource Map (Atom Format)OPENAIREOpenURL ContextObjectOpenURL ContextObject in SpanRDF+N-TriplesRDF+N3RDF+XMLReferReference Manager (.RIS)Simple Metadata

Statistics

Repository Staff Only