• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

An Overview of the mCRL2 Toolset and Its Recent Advances.

Sjoerd CranenJan Friso GrooteJeroen J. A. KeirenFrank P. M. StappersErik P. de VinkWieger WesselinkTim A. C. Willemse
Published in: TACAS (2013)
Keyphrases
  • recent advances
  • recent developments
  • researchers and practitioners
  • information systems
  • neural network
  • multimedia processing
  • computer vision
  • prediction accuracy
  • visual information
  • field of pattern recognition