Certifying an embedded remote method invocation protocol.

June Andronick, Quang Huy Nguyen

Browse the full SAC paper archive.