A formal proof of the deadline driven scheduler
1994
Formats
| Format | |
|---|---|
| BibTeX | |
| MARCXML | |
| TextMARC | |
| MARC | |
| DublinCore | |
| EndNote | |
| NLM | |
| RefWorks | |
| RIS |
Details
Symbol
***
Title
A formal proof of the deadline driven scheduler
Call number
UNU/IIST(05)/R425/no.16
Series
Date
Tokyo : UN University : International Institute for Software Technology, Feb. 1994
Description
i, 23 p.