Login / Signup

A theory for execution-time derivation in real-time programs.

Karl LermerColin J. FidgeIan J. Hayes
Published in: Theor. Comput. Sci. (2005)
Keyphrases