Modelling and verification of interworking between SIP and H.323.

Ligang Wang Anjali Agarwal J. William Atwood

Published in: Comput. Networks (2004)

Keyphrases

model checking
similarity measure
databases
artificial intelligence
multimedia
web services
digital libraries
formal analysis
signature verification