Parametric Timed Bisimulation.

Malte Lochau Lars Luthmann Hendrik Göttmann Isabelle Bacher

Published in: ISoLA (2) (2020)

Keyphrases

petri net
discrete event
computer vision
preprocessing
databases
feature extraction
pattern recognition
computational complexity
lower bound