Precongruence Formats for Decorated Trace Preorders.

Bard Bloom Wan J. Fokkink Rob J. van Glabbeek

Published in: LICS (2000)

Keyphrases

metadata
multimedia
real time
data sets
learning algorithm
expert systems
knowledge discovery