Login / Signup
Checking Timed Bisimulation with Bounded Zone-History Graphs - Technical Report.
Lars Luthmann
Hendrik Göttmann
Malte Lochau
Published in:
CoRR (2019)
Keyphrases
</>
technical report
petri net
graph theoretic
graph representation
graph matching
graph theory
series parallel
graph mining
finite state machines
discrete event
data sets
image segmentation
bipartite graph
graph databases
graph construction