DMCA

On the correctness of an intrusion-tolerant group communication protocol (2003)

Cached

Download Links

by Mohamed Layouni , Jozef Hooman , Sofiène Tahar
Venue:In Proceedings 12th Conference on Correct Hardware Design and Verification Methods (CHARME 2003
Citations:4 - 0 self