Login / Signup

Linking Semantic Models to Support CSP || B Consistency Checking.

Neil EvansHelen Treharne
Published in: Electron. Notes Theor. Comput. Sci. (2006)
Keyphrases