Automating Interactive Protocol Verification.

Lassaad Cheikhrouhou, Andreas Nonnengart, Werner Stephan, Frank Koob, Georg Rock

Browse the full KI paper archive.