Login / Signup
Proving Correctness of an Efficient Abstraction for Interrupt Handling.
Gerlind Herberich
Bastian Schlich
Carsten Weise
Thomas Noll
Published in:
Electron. Notes Theor. Comput. Sci. (2008)
Keyphrases
</>
high level
databases
probabilistic model
computationally efficient