A partial evaluator for the Maruti hard real-time system
| Title | A partial evaluator for the Maruti hard real-time system |
| Publication Type | Journal Articles |
| Year of Publication | 1993 |
| Authors | Nirkhe V, Pugh W |
| Journal | Real-Time Systems |
| Volume | 5 |
| Issue | 1 |
| Pagination | 13 - 30 |
| Date Published | 1993/// |