Login / Signup

Modular Verification of Interactive Systems with an Application to Biology.

Peter DrábikAndrea Maggiolo-SchettiniPaolo Milazzo
Published in: Electron. Notes Theor. Comput. Sci. (2010)
Keyphrases