On-the-fly TCTL model checking for time Petri nets using state class graphs

Rachid Hadjidj and Hanifa Boucheneb

Paper (2006)

An external link is available for this item

Additional Information:	Nom historique du département: Département de génie informatique
Department:	Department of Computer Engineering and Software Engineering
PolyPublie URL:	https://publications.polymtl.ca/23013/
Conference Title:	6th International Conference on Application of Concurrency to System Design
Conference Location:	Turku, Finland
Conference Date(s):	2006-06-28 - 2006-06-30
Publisher:	Institute of Electrical and Electronics Engineers
DOI:	10.1109/acsd.2006.18
Official URL:	https://doi.org/10.1109/acsd.2006.18
Date Deposited:	18 Apr 2023 15:17
Last Modified:	08 Apr 2025 02:10

Cite in APA 7:	Hadjidj, R., & Boucheneb, H. (2006, June). On-the-fly TCTL model checking for time Petri nets using state class graphs [Paper]. 6th International Conference on Application of Concurrency to System Design, Turku, Finland. https://doi.org/10.1109/acsd.2006.18
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