Login / Signup

On the Refinement of Atomic Actions.

Richard BanachGerhard Schellhorn
Published in: Electron. Notes Theor. Comput. Sci. (2008)
Keyphrases