Login / Signup

A programmable microkernel for real-time systems.

Christoph M. KirschMarco A. A. SanvidoThomas A. Henzinger
Published in: VEE (2005)
Keyphrases