Integrating Automated and Interactive Protocol Verification Achim D. Brucker1 and Sebastian A. M¨odersheim2 1 SAP Research, Vincenz-Priessnitz-Str. 1, 76131 Karlsruhe, Germany

First Page		Document Content
Date: 2011-06-21 19:02:36		Integrating Automated and Interactive Protocol Verification Achim D. Brucker1 and Sebastian A. M¨odersheim2 1 SAP Research, Vincenz-Priessnitz-Str. 1, 76131 Karlsruhe, Germany Add to Reading List Source URL: www2.imm.dtu.dk Download Document from Source Website File Size: 399,79 KB Share Document on Facebook