Login / Signup

Refinement and Verification of Sequence Diagrams Using the Process Algebra CSP.

Tomohiro KaizuYoshinao IsobeMasato Suzuki
Published in: IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (2013)
Keyphrases