• Sign in
  • Sign up
conf.researchr.org / Tim A.C. Willemse
  • ETAPS 2019 profile
  • MODELS 2024 profile

Not registered as user

Name:Tim A.C. Willemse

Contributions

2024

MODELS

  • Author of OIL: an industrial case study in language engineering with Spoofax within the Journal-First-track

2019

ETAPS

  • Author of The mCRL2 Toolset for Analysing Concurrent Systems: Improvements in Expressivity and Usability within the Posters-track

TACAS

  • Author of The mCRL2 Toolset for Analysing Concurrent Systems: Improvements in Expressivity and Usability within the TACAS 2019-track
Share
xFri 18 Jul 06:58
using conf.researchr.org (v1.69.1)
Support page
Sign Up