Login / Signup

A Formal Framework for Multicast Communication.

P. K. Biswas
Published in: IEEE Syst. J. (2010)
Keyphrases
  • main contribution
  • multi agent
  • information sharing
  • formal model
  • data sets
  • multimedia
  • video sequences
  • lightweight
  • model checking