Login / Signup

Precongruence Formats for Decorated Trace Preorders.

Bard BloomWan J. FokkinkRob J. van Glabbeek
Published in: LICS (2000)
Keyphrases
  • metadata
  • multimedia
  • real time
  • data sets
  • learning algorithm
  • expert systems
  • knowledge discovery