Real-Time Property Specific Reduction for Time Petri Net - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2014
Fichier non déposé

Dates et versions

hal-03252268 , version 1 (07-06-2021)

Identifiants

  • HAL Id : hal-03252268 , version 1

Citer

Ning Ge, Marc Pantel. Real-Time Property Specific Reduction for Time Petri Net. Petri Nets and Software Engineering, Jun 2014, Tunis, Tunisia. pp.165--179. ⟨hal-03252268⟩
15 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More