Boucheneb, Hanifa

• Vol. 10, No. 2 (2006) - Articles
  Checking Untimed and Timed Linear Properties of the Interval Timed Colored Petri Net Model
  Details  PDF