John Penix, Willem Visser, Eric Engstrom, Aaron Larson, Nicholas Weininger. Verification of time partitioning in the DEOS scheduler kernel. In ICSE. pages 488-497, 2000. [doi]
No references recorded for this publication.
No citations of this publication recorded.