• Sign in
  • Sign up
conf.researchr.org / Jeroen J.A. Keiren
  • ECOOP and ISSTA 2021 profile
  • ETAPS 2019 profile

Not registered as user

Name:Jeroen J.A. Keiren

Contributions

2021

SPIN

  • Eindhoven University of Technology in Programming Committee within the SPIN-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 09:04
using conf.researchr.org (v1.69.1)
Support page
Sign Up