Library Automation and Digital Archive
LONTAR
Fakultas Ilmu KomputerUniversitas Indonesia
| Call Number | SEM-297 |
| Collection Type | Indeks Artikel prosiding/Sem |
| 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 |
| Nomor Panggil | ID Koleksi | Status |
|---|---|---|
| SEM-297 | TERSEDIA |