Parameterized Verification of Disjunctive Timed Networks.

Étienne André Paul Eichler Swen Jacobs Shyam Lal Karra

Published in: CoRR (2023)

Keyphrases

social networks
petri net
colored petri nets
network structure
model checking
complex networks
e learning
computer networks
cellular networks
machine learning
database
answer sets
community detection
heterogeneous networks
discrete event
signature verification
real world