Jan-Hendrik Oepen | Sebastian Krings /authors/jan-hendrik-oepen/ Jan-Hendrik Oepen Wowchemy (https://wowchemy.com)en-usWed, 16 May 2018 00:00:00 +0000 /media/icon_hua2ec155b4296a9c9791d015323e16eb5_11927_512x512_fill_lanczos_center_3.png Jan-Hendrik Oepen /authors/jan-hendrik-oepen/ Writing a Model Checker in 80 Days: Reusable Libraries and Custom Implementation /publication/petrasch-bmoth-avocs18/ Wed, 16 May 2018 00:00:00 +0000 /publication/petrasch-bmoth-avocs18/