Parameterized Verification of Disjunctive Timed Networks.

Étienne André Paul Eichler Swen Jacobs Shyam Lal Karra

Published in: VMCAI (1) (2024)

Keyphrases

complex networks
social networks
computer networks
petri net
community structure
dynamic systems
network analysis
network design
fingerprint verification
colored petri nets
data sets
case study
heterogeneous networks
formal analysis
discrete event
network parameters