Parameterized verification of coverability in infinite state broadcast networks.

A. R. Balasubramanian

Published in: Inf. Comput. (2021)

Keyphrases

social networks
data broadcasting
network structure
data sets
databases
face verification
signature verification
network size
real time
knowledge base
telecommunication networks