TY  - RPRT
TI  - Timed Test Case Generation Using Labeled Prioritized Time Petri Nets
AU  - Noureddine Adjir
AU  - Pierre de Saqui Sannes
AU  - M. Kamel Rahmouni
AU  - Abdelkader Adla
PY  - 2012
UR  - https://arxiv.org/abs/1206.0788
ID  - 1206.0788
ER  -