Sciweavers

IFIP
2009
Springer

Integrating Automated and Interactive Protocol Verification

14 years 6 months ago
Integrating Automated and Interactive Protocol Verification
Achim D. Brucker, Sebastian Mödersheim
Added 26 May 2010
Updated 26 May 2010
Type Conference
Year 2009
Where IFIP
Authors Achim D. Brucker, Sebastian Mödersheim
Comments (0)