Sciweavers

63
Voted
IFIP
2009
Springer

Integrating Automated and Interactive Protocol Verification

15 years 3 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)