|
| Boucheneb, Hanifa. Checking Untimed and Timed Linear Properties of the Interval Timed Colored Petri Net Model: Verificación de las propiedades lineales síncronas y asíncronas del Modelo de la Red de Petri Coloreado Intervalo Tiempo. Comp. y Sist., Dec 2006, vol.10, no.2, p.107-134. ISSN 1405-5546
|
|