| DaftarIsitemplate |
| Call Number |
| SEM-297 |
| Title |
| Contracting the State Space of Real-time Pre-emptive Systems (53-58) |
| Author |
| Abdelkrim Abdelli; |
| Publisher |
| Subject |
| Difference Bound Matrix, State class graph, preemptive systems, inhibitorsarcs, Time Petri Nets |
| Location |