Login / Signup

A component-based design and compositional verification of a fault-tolerant multimedia communication protocol.

Anil HanumantharayaPurnendu SinhaAnjali Agarwal
Published in: Real Time Imaging (2003)
Keyphrases