The following pages link to Rachid Hadjidj (Q732012):
Displaying 4 items.
- On-the-fly \(TCTL\) model checking for time Petri nets (Q732013) (← links)
- Total variation for image denoising based on a novel smart edge detector: an application to medical images (Q1716779) (← links)
- CTL* model checking for time Petri nets (Q2368992) (← links)
- Efficient Reachability Analysis for Time Petri Nets (Q5280543) (← links)
