Testability of SPP Three-Level Logic Networks.

Valentina Ciriani Anna Bernasconi Rolf Drechsler

Published in: VLSI-SOC (2003)

Keyphrases

social networks
complex networks
levels of abstraction
higher level
logic programming
network analysis
community detection
network model
lower level
real time
high level
cellular networks
telecommunication networks
proof theory