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

Experiences in developing the mCRL2 toolset.

Jan Friso GrooteJeroen KeirenFrank P. M. StappersWieger WesselinkTim A. C. Willemse
Published in: Softw. Pract. Exp. (2011)
Keyphrases
  • multiresolution
  • image processing
  • real time
  • development process
  • learning from experience