RBVO Formation Protocol.

Jirí Vokrínek Jirí Bíba Jirí Hodík Jaromír Vybíhal Premysl Volf

Published in: Web Intelligence/IAT Workshops (2007)

Keyphrases

lightweight
tcp ip
communication protocols
coloured petri nets
databases
case study
formal analysis
security protocols
information retrieval
artificial intelligence
network protocols
file transfer