Login / Signup

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